Is the 20th Busy Beaver number independent of set theory?
11
135
Ṁ242Ṁ230
9999
34%
chance
1D
1W
1M
ALL
See here
Get Ṁ200 play money
Related questions
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
Will the exact value of Busy Beaver(6) be known before 2075?
24% chance
Will the tenth Dedekind number be known by 2040?
59% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
57% chance
Will the exact value of Busy Beaver(5) be known before 2030?
89% chance
Is any Millenium problem independent of ZFC?
40% chance
What is the first input for which the Busy Beaver function exceeds the Ackermann function?
8.6
Is Beal's conjecture true?
60% chance
Is the union-closed sets conjecture true?
79% chance
Is the prime patterns conjecture true?
72% chance