Will ZFC prove a contradiction by 2100?
8
Ṁ3312099
7%
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.00Sort by:
I live in Nagpur, and my friends in the neighborhood love to share their new discoveries. That's how I found out about https://goldsbett.in/app/. I decided to download it and try it out, and I was pleased with it. Bright graphics, pleasant music, and clear rules—all this makes the process exciting. I especially liked that the app works stably even on my not-so-new smartphone. Now I always have a good mood with me.
Related questions
Related questions
Will ZFC prove a contradiction by 1 0000?
20% 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
Will PA prove a contradiction by 2100?
18% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Is any Millenium problem independent of ZFC?
40% chance
Will PA prove a contradiction by 1 0000?
21% chance
Will anyone write an argument that leads Krantz into accepting a contradiction?
5% chance
Will Goldbach's conjecture be proved before 2100?
80% chance
Will we have a proof of the Riemann Hypothesis by 2060?
58% chance