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

DOI10.1007/BF00263316MaRDI QIDQ809063zbMATH OpenOpenAlexWikidataFDO

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

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)

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.

Cited in

(10)

• Hilbert's program. An essay on mathematical instrumentalism
• Representations and the foundations of mathematics
• Universism and extensions of \(V\)
• The autonomy of mathematical knowledge. Hilbert's program revisited.
• Proof theory in philosophy of mathematics
• Hilbert's programme: on the change of mathematical practice before and after Gödel's incompleteness theorems.
• Artificial intelligence and inherent mathematical difficulty
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• Hilbert's program revisited
• 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)