Question

Will BB(5) be known by 2040?

Resolved :Yes99%

14 comments14

Total Forecasters36

Community Prediction99% (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

Zermelo–Fraenkel set theory

Turing machine

Reprint: Futurists predict a point where humans and machines become one. But will we see it coming?

OpEdNews•Jan 22, 2025

The Math Mystery That Connects Sudoku, Flight Schedules and Protein Folding

Scientific American•Jan 25, 2025

People are benchmarking AI by having it make balls bounce in rotating shapes

TechCrunch•Jan 25, 2025

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

Computability and Complexity

Comments

? comments

Authors:

evanbd

Opened:

Feb 9, 2022

Closes:

Dec 31, 2034

Resolves:

Dec 31, 2034

Zermelo–Fraenkel set theory

Turing machine

Reprint: Futurists predict a point where humans and machines become one. But will we see it coming?

OpEdNews•Jan 22, 2025

The Math Mystery That Connects Sudoku, Flight Schedules and Protein Folding

Scientific American•Jan 25, 2025

People are benchmarking AI by having it make balls bounce in rotating shapes

TechCrunch•Jan 25, 2025

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