Will ZFC prove a contradiction by 2100?
9
100á¹€3322099
7%
chance
1H
6H
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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
Will ZFC prove a contradiction by 1 0000?
20% chance
Will an inconsistency in ZFC be found before 2050?
8% chance
Will ZFC no longer be the standard foundation for mathematics by 2050?
33% chance
Will PA prove a contradiction by 2100?
17% chance
Is any Millenium problem independent of ZFC?
34% chance
Will PA prove a contradiction by 1 0000?
19% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Will Goldbach's conjecture be proved before 2100?
80% chance
Will we have a proof of the Riemann Hypothesis by 2060?
78% chance
Will Riemann hypothesis be proven or refuted before 2050?
50% chance