On the incompleteness theorems

DOI10.2307/2275714MaRDI QIDQ4323053zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski

Publication date 13 February 1995

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275714

zbMATH Keywords

Gödel's incompleteness theoremsquickly growing functions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited in

(19)

• The incompleteness of Misra and Chandy's proof systems
• Revisiting Chaitin's incompleteness theorem
• The scope of Gödel's first incompleteness theorem
• Existentially closed structures and Gödel's second incompleteness theorem
• Heterologicality and imcompleteness
• Incompleteness, Undecidability and Automated Proofs
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Incompatible Ω-Complete Theories
• scientific article; zbMATH DE number 4059394 (Why is no real title available?)
• A Note on Boolos' Proof of the Incompleteness Theorem
• scientific article; zbMATH DE number 1051668 (Why is no real title available?)
• scientific article; zbMATH DE number 6845503 (Why is no real title available?)
• An addition to Rosser's theorem
• Current research on Gödel's incompleteness theorems
• scientific article; zbMATH DE number 5037238 (Why is no real title available?)
• scientific article; zbMATH DE number 5037243 (Why is no real title available?)
• On Gödel incompleteness and finite combinatorics
• An open formalism against incompleteness
• The incompleteness theorems after 70 years

This page was built for publication: On the incompleteness theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323053)