Will an inconsistency in ZFC be found before 2050?
13
Ṁ4352049
4%
chance
1D
1W
1M
ALL
According to Wikipedia, "it is deemed unlikely that ZFC harbors an unsuspected contradiction; it is widely believed that if ZFC were inconsistent, that fact would have been uncovered by now". (https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory#Consistency).
This will resolve to YES if a proof of a contradiction is published in a peer-reviewed scientific journal on mathematical logic or a similar area, such as the Journal of Mathematical Logic, or if a majority vote of at least 5 researchers in mathematical logic agree that such a result published elsewhere is correct, before the start of 2050. Otherwise, this will resolve to NO at the start of 2050.
Get Ṁ1,000 play money
Sort by:
Related questions
Related questions
Will ZFC no longer be the standard foundation for mathematics by 2050?
29% chance
Is any Millenium problem independent of ZFC?
40% chance
Conditional on no existential catastrophe, will there be a superintelligence by 2040?
69% chance
Conditional on no existential catastrophe, will there be a superintelligence by 2050?
76% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
76% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will Goldbach's conjecture be proved before 2040?
42% chance
Will we have a proof of the Riemann Hypothesis by 2060?
49% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
41% chance
Will the Reimann Hypotheses be Resolved by the year 2035
37% chance