On the incompleteness theorems

DOI10.2307/2275714zbMath0816.03025OpenAlexW1995054390MaRDI QIDQ4323053

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)

Related Items

On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos, The incompleteness theorems after 70 years, An addition to Rosser's theorem, Heterologicality and Incompleteness, Existentially closed structures and Gödel's second incompleteness theorem, The scope of Gödel's first incompleteness theorem, An open formalism against incompleteness, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

Cites Work

• Unnamed Item