Is the 20th Busy Beaver number independent of set theory?
Plus
15
Ṁ5119999
45%
chance
1D
1W
1M
ALL
See here
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Sort by:
This is very probably true, as in YES > 95% chance, but I am not counting on the resolution criteria holding that up.
@wadimiusz Agreed. The question is interesting (it's from Scott Aaronson's survey paper), the close date is not. Close date should be decades away or more, IMO.
Related questions
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
40% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
45% chance
What is the first input for which the Busy Beaver function exceeds the Ackermann function?
8.6
Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
95% chance