Werk · Analytische Philosophie
Grundzüge der theoretischen Logik
Mit Wilhelm Ackermann aus Hilberts Vorlesungen erarbeitetes Lehrbuch: Es stellt Aussagen- und Prädikatenlogik erster Stufe dar und stellt zwei offene Fragen – ob die Prädikatenlogik erster Stufe vollständig ist und ob es ein Entscheidungsverfahren gibt –, die Gödel (1929) sowie Church und Turing (1936) beantworteten.
Weitere Werke von David Hilbert
Stand November 2026 · Seite verbessern · So entsteht Agora