1 comment
12 forecasters

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

Current estimate
68

Key Factors

No key factors yetAdd some that might influence this forecast.
Add key factor