Some remarks on Hilbert's program

MaRDI QIDQ2736243zbMATH OpenFDO

Authors Roman Murawski

Publication date 29 August 2001

zbMATH Keywords

reverse mathematicsHilbert's program

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 1082863
• H for Hilbert. \dots and M for mathematics
• Partial realizations of Hilbert's program
• Hilbert's program. An essay on mathematical instrumentalism
• Hilbert's programs and beyond

Cited in

(13)

• H for Hilbert. \dots and M for mathematics
• Hilbert's Programs: 1917–1922
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program
• Proof theory in philosophy of mathematics
• scientific article; zbMATH DE number 5575850 (Why is no real title available?)
• Hilbert's program. An essay on mathematical instrumentalism
• The use of trustworthy principles in a revised Hilbert's program
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• scientific article; zbMATH DE number 713586 (Why is no real title available?)
• Hilbert's program sixty years later
• Partial realizations of Hilbert's program
• scientific article; zbMATH DE number 4075014 (Why is no real title available?)

This page was built for publication: Some remarks on Hilbert's program

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