
Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
10
closes 2049
4%
chance
1D
1W
1M
ALL
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:




Related markets
By the beginning of 2035, will physicists and philosophers mostly agree on the correct interpretation of quantum mechanics?12%
Related markets
By the beginning of 2035, will physicists and philosophers mostly agree on the correct interpretation of quantum mechanics?12%
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