Will PA prove a contradiction by 2100?
6
100Ṁ1842099
18%
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 Peano Arithmetic, 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 PA prove a contradiction by 1 0000?
21% chance
Will ZFC prove a contradiction by 2100?
7% chance
Will I be alive by 2100?
34% chance
What'll Be My P(Loss of Control before 2100) In Jan 2026?
83% chance
By 2025, will Paul Christiano have updated his P(AGI doom) to over 50%?
9% chance
Which will happen first before 2100?
Will IA wipe out humanity by the year 2100?
2% chance
Will human civilization have altered into an unrecognizable state by 2100?
51% chance
What'll Be My P(Loss of Control before 2100) In Jan 2040?
75% chance
Non-AI catastrophe before 2100?
27% chance