HILBERT'S PROGRAMME

DOI10.1111/J.1746-8361.1958.TB01469.XMaRDI QIDQ3262781zbMATH OpenOpenAlexFDO

Authors Georg Kreisel

Publication date 1958

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1958.tb01469.x

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(5)

• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• The scope of Gödel's first incompleteness theorem
• König's infinity lemma and Beth's tree theorem
• Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
• Hilbert's program revisited

This page was built for publication: HILBERT'S PROGRAMME

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