
Will an inconsistency in ZFC be found before 2050?
14
1kṀ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 to start trading!
Sort by:
Related questions
Related questions
Will ZFC no longer be the standard foundation for mathematics by 2050?
32% chance
Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
9% chance
Is any Millenium problem independent of ZFC?
40% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Will Goldbach's conjecture be proved before 2050?
61% chance
Will the Goldbach conjecture be found unprovable before 2030?
3% chance
Will Riemann hypothesis be proven or refuted before 2050?
58% chance
Will the consistency of the First Order Theory beyond Higher Order Set Theory be determined by EOY 2050?
50% chance
Will Goldbach's conjecture be proved before 2100?
80% chance
Will Goldbach's conjecture be proved before 2040?
44% chance