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 Peano arithmetic?

4
1
Total Forecasters12
Community Prediction89.2 (33.5 - 236)

Make a Prediction

weight:
My Prediction
community
lower 25%
median
upper 75%
...
...
...
33.48
89.16
236.3
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