scientific article; zbMATH DE number 12906

MaRDI QIDQ3978786zbMATH OpenFDO

Authors Wolfgang Rautenberg

Publication date 25 June 1992

zbMATH Keywords

recursive functionsincompleteness theoremsLöb's theoremfixpoint- lemmaGödelization

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 49449
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• Gödel incompleteness theorems and the limits of their applicability. I
• scientific article; zbMATH DE number 1749189

Cited in

(7)

• Undecidability and intuitionistic incompleteness
• Gödel's completeness theorem
• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 481375 (Why is no real title available?)
• Gödel's incompleteness phenomenon -- computationally
• scientific article; zbMATH DE number 49449 (Why is no real title available?)
• Undecidability in Anti-Realism

This page was built for publication:

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