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 Ṁ200 play money
Sort by:
More related questions
Related questions
Conditional on no existential catastrophe, will there be a superintelligence by 2050?
43% chance
Will ZFC no longer be the standard foundation for mathematics by 2050?
34% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will a major world war occur before the end of 2050?
40% chance
Will there be Kessler Syndrome before 2053?
43% chance
Will Goldbach's conjecture be proved before 2040?
33% chance
Will we have a proof of the Riemann Hypothesis by 2060?
46% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will a massive solar storm occur before 2050?
35% chance
Will we observe a supernova in the Milky Way Galaxy before 2050?
59% chance