Take Our 🏆Quarterly Cup🏆 Survey

We're considering changes to the Quarterly Cup and want to hear from you, take our short survey to share your thoughts and help shape future iterations of the Cup.

M

Question

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

9
2
Total Forecasters13
Community Prediction59.8 (20.7 - 171)

Make a Prediction

weight:
My Prediction
community
lower 25%
median
upper 75%
...
...
...
20.69
59.79
171.2
Learn more about scores here.
Authors:
ege_erdil
Opened:
Closes:
Scheduled resolution:
Computing and Math
Logic
Busy beaver
Peano axioms
Zermelo–Fraenkel set theory
Turing machine

Comments

? comments