Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
closes 2049

The Calculus of Inductive Constructions is the formal system underlying the Coq proof assistant (see https://coq.github.io/doc/v8.9/refman/language/cic.html).

This will resolve to YES if a proof of a contradiction is published in a peer-reviewed scientific conference or journal on computer proof assistants or a similar area, such as Logic in Computer Science, or if a majority vote of at least 5 researchers in the field of computer proof assistants 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.

Sort by:
Yev avatar
Yevbought Ṁ40 of NO
ManifoldDream avatar

Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition

Related markets

Will an inconsistency in ZFC be found before 2050?4%
Will ZFC no longer be the standard foundation for mathematics by 2050?37%
Will we have a proof of the Riemann Hypothesis by 2060?61%
Will philosophy be solved before 2123?14%
By the beginning of 2035, will physicists and philosophers mostly agree on the correct interpretation of quantum mechanics?12%
Will we discover a fifth fundamental force before 2050?22%
Conditional on no existential catastrophe, will there be a superintelligence by 2050?59%
Will we discover evidence of a cosmic string before 2050?11%
Will there be a confirmed instance of acausal trade before 2040?28%
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?33%
Will this website be online by 2050?42%
Will a major world war occur before the end of 2050?28%
Will there be any significant technological developments after 2100?87%
Will we have the Theory of Everything by 2040?27%
Will there be Kessler Syndrome before 2053?23%
Will there be a martian colony by 2050?48%
Will a massive solar storm occur before 2050?41%
Will go be solved before 2040?8%
Will Nonlinear exist in 2030?15%
Will more than 50% of US population be convinced that free will is an illusion before year 2050?11%