Top News, Articles, and Interviews in Philosophy

Gödel’s Incompleteness Theorems

Philosophy News image
[Revised entry by Panu Raatikainen on April 2, 2020. Changes to: Bibliography] Godel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus