Will PA prove a contradiction by 2100?
8
100Ṁ2272099
17%
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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
Will PA prove a contradiction by 1 0000?
19% chance
Will ZFC prove a contradiction by 2100?
7% chance
What'll Be My P(Loss of Control before 2100) In Jan 2027?
95% chance
Will I be alive by 2100?
59% chance
Which will happen first before 2100?
Will the European Union become a country by 2100?
11% chance
Will I be alive at the start of 2100?
22% chance
Will IA wipe out humanity by the year 2100?
1% chance
Will human civilization have altered into an unrecognizable state by 2100?
60% chance
What'll Be My P(Loss of Control before 2100) In Jan 2040?
75% chance