M

🚀Metaculus Open-Source Rewrite is Live!

You're now enjoying a rewritten, open-source Metaculus, with a range of improvements and new opportunities for collaboration. Go here to learn more!

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

Make a Prediction

My Prediction
community
lower 25%
median
upper 75%
...
...
...
20.7
59.8
171
Authors:
ege_erdil
Opened:
Closes:
Scheduled resolution:
Computing and Math
Logic
Busy beaver
Mathematics
Peano axioms
Zermelo–Fraenkel set theory
Computer science
Turing machine

Comments

? comments