Hilbert's program sixty years later

DOI10.2307/2274507zbMath0654.03002OpenAlexW4241903158MaRDI QIDQ3799997

Wilfried Sieg

Publication date: 1988

Published in: The 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)

Related Items

Hilbert's Programs: 1917–1922, Truth, reflection and hierarchies, The meaning of pure mathematics, The ignorance of Bourbaki, We shall know: Hilbert's apology