M

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 Prediction59.8 (20.7 - 171)

Make a Prediction

PDF

CDF

weight:
QuartilescommunityMy Prediction
lower 25%20.69
median59.79
upper 75%171.2
Authors:
Opened:Jan 16, 2022
Closes:Dec 31, 2029
Scheduled resolution:Dec 31, 2039

Comments

? comments