MetaculusM

Question

Question

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?

4

Total Forecasters12

Community Prediction89.2

Make a Prediction

My Prediction

lower 25%

median

upper 75%

...

...

...

33.48

89.16

236.3

Authors:

Opened:

Closes:

Scheduled resolution:

Computing and Math

Zermelo–Fraenkel set theory

Computer science

Comments

? comments

Authors:

Opened:

Closes:

Scheduled resolution:

Computing and Math

Zermelo–Fraenkel set theory

Computer science