Some remarks on Hilbert's program

MaRDI QIDQ2736243zbMATH OpenFDO

Authors Roman Murawski

Publication date 29 August 2001

zbMATH Keywords

Hilbert's programreverse mathematics

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)

Review text

Results of Gödel which were improved in some sense by Paris, Harrington and Kirby showed the nonexecutability of Hilbert's program announced in his lecture at the Congress of Mathematicians in 1900. The author describes Hilbert's generalized and relativized program and makes a conclusion that results obtained by Friedman and Sieg in so-called reverse mathematics open the way to the partial realization of Hilbert's original program. For the entire collection see [Zbl 0902.00028].

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

(16)

• Hilbert's program. An essay on mathematical instrumentalism
• H for Hilbert. \dots and M for mathematics
• Proof theory in philosophy of mathematics
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program
• scientific article; zbMATH DE number 5575850 (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?)
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• Hilbert's Programs: 1917–1922
• scientific article; zbMATH DE number 713586 (Why is no real title available?)
• scientific article; zbMATH DE number 1082863 (Why is no real title available?)
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• A Framework for Metamathematics
• The use of trustworthy principles in a revised Hilbert's program
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem

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)