Will an inconsistency in ZFC be found before 2050?
Plus
14
Ṁ4862049
9%
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.
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Sort by:
Related questions
Related questions
Will ZFC no longer be the standard foundation for mathematics by 2050?
33% chance
Is any Millenium problem independent of ZFC?
40% chance
Conditional on no existential catastrophe, will there be a superintelligence by 2040?
72% chance
Conditional on no existential catastrophe, will there be a superintelligence by 2050?
79% chance
Will Riemann hypothesis be proven or refuted before 2050?
48% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
78% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
9% chance
Will Goldbach's conjecture be proved before 2040?
44% chance
Will we have a proof of the Riemann Hypothesis by 2060?
55% chance