On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem

DOI10.1007/BF00263316zbMath0732.03003OpenAlexW2072151524WikidataQ56139363 ScholiaQ56139363MaRDI QIDQ809063

Michael E. Detlefsen

Publication date: 1990

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263316

zbMATH Keywords

metamathematicsfinitistic methodsGödel's First Incompleteness TheoremGödel's Second Incompleteness TheoremHilbert's Program

Mathematics Subject Classification ID

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

Related Items (3)

Proof Theory in Philosophy of Mathematics ⋮ Representations and the foundations of mathematics ⋮ UNIVERSISM AND EXTENSIONS OF V

This page was built for publication: On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem