Question

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in ZFC set theory?

Total Forecasters13
Community Prediction
81.8
(35.3 - 199)

Make a Prediction

PDF

CDF

QuartilescommunityMy Prediction
lower 25%35.27
median81.79
upper 75%199.5
No key factors yetAdd some that might influence this forecast.
Add key factor
Authors:
Opened:Jan 16, 2022
Closes:Dec 31, 2029
Scheduled resolution:Dec 31, 2039
Spot Scoring Time:Jan 18, 2022