Will PA prove a contradiction by 2100?
6
Ṁ1772099
22%
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
What conspiracy theories will be proven true by 2100? (Mega Market)
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