HILBERT'S PROGRAMME

DOI10.1111/J.1746-8361.1958.TB01469.XzbMath0090.01004OpenAlexW2080059329MaRDI QIDQ3262781

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

Related Items (4)

Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs ⋮ On theorems of Gödel and Kreisel: Completeness and Markov's principle ⋮ König's Infinity Lemma and Beth's Tree Theorem ⋮ The scope of Gödel's first incompleteness theorem

This page was built for publication: HILBERT'S PROGRAMME