Some remarks on Hilbert's program

zbMATH Open0999.01018MaRDI QIDQ2736243FDOQ2736243

Authors: Roman Murawski 

Publication date: 29 August 2001

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

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)

Cited In (11)

• Hilbert's program. An essay on mathematical instrumentalism
• Title not available (Why is that?)
• Proof theory in philosophy of mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hilbert's Programs: 1917–1922
• Partial realizations of Hilbert's program
• Title not available (Why is that?)
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program
• Hilbert's program sixty years later

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)