Question
In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?
Total Forecasters12
Community Prediction89.2 (33.5 - 236)
Make a Prediction
CDF
weight:
| Quartiles | community | My Prediction |
| lower 25% | 33.48 | — |
| median | 89.16 | — |
| upper 75% | 236.3 | — |
Authors:
Opened:Jan 16, 2022
Closes:Dec 31, 2039
Scheduled resolution:Dec 31, 2039
Comments
? comments
Authors:
Opened:Jan 16, 2022
Closes:Dec 31, 2039
Scheduled resolution:Dec 31, 2039
