Will ZFC prove a contradiction by 1 0000?
3
Ṁ1389999
19%
chance
1D
1W
1M
ALL
This market will resolve YES if, before the year 1 0000, a finite proof is discovered, within the standard formulation of ZFC, that derives a contradiction (e.g., 0 = 1), and this result is verified and accepted by the mainstream mathematical community. Otherwise, it will resolve NO.
Get Ṁ1,000 play money
Related questions
Related questions
Will ZFC prove a contradiction by 2100?
7% chance
Will an inconsistency in ZFC be found before 2050?
9% chance
Will PA prove a contradiction by 1 0000?
21% chance
Will ZFC no longer be the standard foundation for mathematics by 2050?
33% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Is any Millenium problem independent of ZFC?
40% chance
Will anyone write an argument that leads Krantz into accepting a contradiction?
5% chance
Will PA prove a contradiction by 2100?
22% chance