Reflections on Concrete Incompleteness
From MaRDI portal
Publication:4919636
DOI10.1093/PHILMAT/NKR016zbMath1272.03154OpenAlexW2086758823MaRDI QIDQ4919636
No author found.
Publication date: 15 May 2013
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://zenodo.org/record/3928937
incompletenessunprovabilityGirard's normalization theorem in type theoryKruskal-Friedman theorem on trees
Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)
Related Items (2)
What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? ⋮ A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
This page was built for publication: Reflections on Concrete Incompleteness
