Will ZFC prove a contradiction by 1 0000?
2
100Ṁ719999
25%
chance
1H
6H
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.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will ZFC prove a contradiction by 2100?
13% chance
Will PA prove a contradiction by 1 0000?
18% chance
Will PA prove a contradiction by 2100?
28% chance
Will an inconsistency in ZFC be found before 2050?
9% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Will ZFC no longer be the standard foundation for mathematics by 2050?
33% chance
Is any Millenium problem independent of ZFC?
40% chance
Will anyone write an argument that leads Krantz into accepting a contradiction?
5% chance