Question

Will BB(5) be known by 2040?

Resolved :Yes

14 comments14

Total Forecasters36

Community Prediction99%

Make a Prediction

50%

community: 99%

Did this actually happen?Yes

Community Baseline Score

7.9

Community Peer Score

1.2

median 99.0%mean 95.2%

Authors:

evanbd

Opened:

Closes:

Resolves:

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?

89.2

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:

Closes:

Resolves:

Zermelo–Fraenkel set theory

Turing machine

Universe would die before monkey with keyboard writes Shakespeare, study finds

Guardian•Nov 4, 2024

Monkeys WOULDN'T type the complete works of Shakespeare if given until the end of time: Scientists reveal the reason why (although they might type 'banana')

Daily Mail•Nov 4, 2024

A monkey couldn't write Shakespeare before the universe dies, new study finds

NBC•Nov 4, 2024

Learn more about Metaculus NewsMatch

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

89.2

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

59.8