Will ZFC prove a contradiction by 2100?
3
Ṁ1612099
13%
chance
1D
1W
1M
ALL
This market will resolve YES if, before the year 2100, 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,000and
3.00
1,0003.00Related questions
Related questions
What conspiracy theories will be proven true by 2100? (Mega Market)
Will ZFC prove a contradiction by 1 0000?
25% chance
Will PA prove a contradiction by 2100?
20% chance
Will PA prove a contradiction by 1 0000?
18% chance
Will an inconsistency in ZFC be found before 2050?
9% 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?
Will anyone write an argument that leads Krantz into accepting a contradiction?
5% chance
Is any Millenium problem independent of ZFC?
40% chance
Will Goldbach's conjecture be proved before 2100?
80% chance