Hilbert's program sixty years later

DOI10.2307/2274507MaRDI QIDQ3799997zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 1988

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274507

zbMATH Keywords

consistencyHilbert's programinfluence of Hilbert's finitism on the development of modern mathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

Recommendations

• Hilbert's programs and beyond
• scientific article; zbMATH DE number 713586
• Some remarks on Hilbert's program
• scientific article; zbMATH DE number 4051610
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism

Cited in

(13)

• Hilbert and the Problem of Clarifying the Infinite
• scientific article; zbMATH DE number 4051610 (Why is no real title available?)
• Truth, reflection and hierarchies
• scientific article; zbMATH DE number 6096295 (Why is no real title available?)
• The meaning of pure mathematics
• We shall know: Hilbert's apology
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• scientific article; zbMATH DE number 713586 (Why is no real title available?)
• Gentzen's anti-formalist views
• Hilbert's Programs: 1917–1922
• The ignorance of Bourbaki
• Sixty years after Gödel
• Finite methods in mathematical practice

This page was built for publication: Hilbert's program sixty years later

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