On the depth of Gödel's incompleteness theorems

DOI10.1093/PHILMAT/NKAB034MaRDI QIDQ5090862zbMATH OpenOpenAlexWikidataFDO

Authors Yong Cheng

Publication date 21 July 2022

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkab034

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)

Recommendations

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

Cited in

(7)

• On the rate of decrease in logical depth
• On the depth of Szemerédi's theorem
• Mathematical depth
• Future Tasks for Gödel Scholars
• On Gödel incompleteness and finite combinatorics
• On the depth of G\"{o}del's incompleteness theorem
• Serial properties, selector proofs and the provability of consistency

This page was built for publication: On the depth of Gödel's incompleteness theorems

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