Reflections on concrete incompleteness

DOI10.1093/PHILMAT/NKR016MaRDI QIDQ4919636zbMATH OpenOpenAlexFDO

Authors Giuseppe Longo

Publication date 15 May 2013

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://zenodo.org/record/3928937

zbMATH Keywords

Girard's normalization theorem in type theoryincompletenessKruskal-Friedman theorem on treesunprovability

Mathematics Subject Classification ID

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

Recommendations

• Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
• scientific article; zbMATH DE number 4066835
• Gödel incompleteness theorems and the limits of their applicability. I
• scientific article; zbMATH DE number 5013084
• A mathematical commitment without computational strength

Cited in

(6)

• What's so special about the Gödel sentence \(\mathcal{G}\)?
• Some consequences of reflection on the approachability ideal
• scientific article; zbMATH DE number 15306 (Why is no real title available?)
• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• THE INEFFABLE NATURE OF BEING. IN MEMORIAM: BERNARD D’ESPAGNAT
• A Neglected Interpretation of Das Kontinuum

This page was built for publication: Reflections on concrete incompleteness

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