Will PA prove a contradiction by 2100?
5
100Ṁ1412099
20%
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
What conspiracy theories will be proven true by 2100? (Mega Market)
Will PA prove a contradiction by 1 0000?
18% chance
Will ZFC prove a contradiction by 2100?
13% chance
What conspiracy theories not included in the linked market will be proven true by 2100?
Will ZFC prove a contradiction by 1 0000?
25% chance
Will IA wipe out humanity by the year 2100?
2% 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?