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

DOI10.1007/BF00263316zbMATH Open0732.03003OpenAlexW2072151524WikidataQ56139363 ScholiaQ56139363MaRDI QIDQ809063FDOQ809063

Authors: Michael 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

Recommendations

• Hilbert's program. An essay on mathematical instrumentalism
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program
• Some remarks on Hilbert's program
• Partial realizations of Hilbert's program
• The autonomy of mathematical knowledge. Hilbert's program revisited.

zbMATH Keywords

metamathematicsfinitistic methodsHilbert's ProgramGödel's Second Incompleteness TheoremGödel's First Incompleteness Theorem

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)

Cited In (7)

• Hilbert's program. An essay on mathematical instrumentalism
• Representations and the foundations of mathematics
• The autonomy of mathematical knowledge. Hilbert's program revisited.
• Proof theory in philosophy of mathematics
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• UNIVERSISM AND EXTENSIONS OF V
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program

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

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