Question

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

2 comments2

Total Forecasters13

Community Prediction59.8

Make a Prediction

My Prediction

community

lower 25%

median

upper 75%

...

20.69

59.79

171.2

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Turing machine

Is There Game Theory To Today’s AI Industry?

Forbes•Oct 31, 2024

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

Guardian•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

Computability and Complexity

What will be the best score on the InterCode (Bash) benchmark before 2025?

55.9

Comments

? comments

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Turing machine

Is There Game Theory To Today’s AI Industry?

Forbes•Oct 31, 2024

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

Guardian•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

Computability and Complexity

What will be the best score on the InterCode (Bash) benchmark before 2025?

55.9