Question

Will BB(5) be known by 2040?

Resolved:Yes

12 comments12

Total Forecasters36

Community Prediction

99%

(99% - 99.9%)

Make a Prediction

50%

community: 99%

Did this actually happen?Yes

Community Baseline Score

7.9

Community Peer Score

1.2

Authors:

evanbd

Opened:

Feb 9, 2022

Closes:

Dec 31, 2034

Resolves:

Dec 31, 2034

Spot Scoring Time:

Feb 11, 2022

Zermelo–Fraenkel set theory

Turing machine

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

76.3

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

59.8

Computability and Complexity

Comments

? comments

Authors:

evanbd

Opened:

Feb 9, 2022

Closes:

Dec 31, 2034

Resolves:

Dec 31, 2034

Spot Scoring Time:

Feb 11, 2022

Zermelo–Fraenkel set theory

Turing machine

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

76.3

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

59.8

Will BB(5) be known by 2040?

Make a Prediction

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

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

Computability and Complexity

Comments

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

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

Computability and Complexity

We use cookies 🍪 to understand how you use Metaculus and to improve your experience.