Hilbert's program sixty years later

DOI10.2307/2274507zbMATH Open0654.03002OpenAlexW4241903158MaRDI QIDQ3799997FDOQ3799997

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

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

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)

Cited In (13)

• Title not available (Why is that?)
• Truth, reflection and hierarchies
• Title not available (Why is that?)
• The meaning of pure mathematics
• We shall know: Hilbert's apology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gentzen's anti-formalist views
• Hilbert's Programs: 1917–1922
• The ignorance of Bourbaki
• Finite methods in mathematical practice
• Sixty years after Gödel
• Hilbert and the Problem of Clarifying the Infinite

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)