Will PA prove a contradiction by 2100?
6
Ṁ1842099
18%
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 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.
Get Ṁ1,000 play money
Related questions
Related questions
Will PA prove a contradiction by 1 0000?
21% chance
What will happen before 2050? (Mega market)
Will the Reimann Hypotheses be Resolved by the year 2035
48% 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