In the Shadow of Incompleteness: Hilbert and Gentzen

DOI10.1007/978-94-007-4435-6_5MaRDI QIDQ5253925zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 5 June 2015

Published in Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-4435-6_5

zbMATH Keywords

consistencyGentzenGödel's incompleteness theoremsHilbert's foundational program

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
• scientific article; zbMATH DE number 5545384
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Husserl and Hilbert on completeness, still
• Hilbert on different notions of completeness: a conceptual and historical analysis
• Hilbert and the Problem of Clarifying the Infinite
• scientific article; zbMATH DE number 2176167
• Completeness: from Gödel to Henkin
• scientific article; zbMATH DE number 785429
• Phenomenology of incompleteness: From formal deductions to mathematics and physics

Cited in

(8)

• Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
• Husserl's two notions of completeness. Husserl and Hilbert on completeness and imaginary elements in mathematics
• scientific article; zbMATH DE number 5545384 (Why is no real title available?)
• In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics
• John von Neumann’s Discovery of the 2^ndIncompleteness Theorem
• ``Undesirable inference -- the failure of the joint appointment of the topologists Herbert Seifert and William Threlfall at the University of Frankfurt in 1939

This page was built for publication: In the Shadow of Incompleteness: Hilbert and Gentzen

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