Work · Analytic Philosophy
Principles of Mathematical Logic
Textbook written with Wilhelm Ackermann from Hilbert’s lectures: it sets out propositional and first-order logic and poses two open questions – whether first-order logic is complete and whether there is a decision procedure – answered by Gödel (1929) and by Church and Turing (1936).
More works by David Hilbert
As of November 2026 · Improve this page · How Agora is made