Kurt Gödel

Theorems

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (On Formally Undecidable Propositions of Principia Mathematica and Related Systems)

Quotes

• Gödel, Escher, Bach, 1979
• Histoire universelle des chiffres, 1981
• L'être et l'événement, 1988
• Logicomix, 2009
• The Maniac, 2023