Œuvre · Philosophie analytique
Grundzüge der theoretischen Logik (Principes de logique théorique)
Manuel écrit avec Wilhelm Ackermann à partir des cours de Hilbert : il expose la logique propositionnelle et la logique du premier ordre et pose deux questions ouvertes – la logique du premier ordre est-elle complète, et existe-t-il une procédure de décision ? –, auxquelles répondirent Gödel (1929) puis Church et Turing (1936).
Ouvrir dans la carte stellaire
Autres œuvres de David Hilbert
État en novembre 2026 · Améliorer cette page · Comment Agora est faite