Is the 20th Busy Beaver number independent of set theory?
11
135
230
9999
34%
chance

See here

Get Ṁ200 play money
Sort by:

This is very probably true, as in YES > 95% chance, but I am not counting on the resolution criteria holding that up.

predicts NO

@DavidBolin What criteria should it use?

Sorry for lateness in responding to comments. Close date updating to 9999.

Like, by EOY 2023? How will you know the answer by that time?

@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.

How are you gonna resolve this, though?

I think your markets are very cool.