In the Shadow of Incompleteness: Hilbert and Gentzen

DOI10.1007/978-94-007-4435-6_5zbMath1312.03006OpenAlexW146532834MaRDI QIDQ5253925

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

consistencyGödel's incompleteness theoremsGentzenHilbert's foundational program

Mathematics Subject Classification ID

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

Related Items (1)

In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics

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