Portal:Logik/Kurt Gödel

Kurt Friedrich Gödel (* 28. April 1906 in Brünn (tschechisch: Brno) , Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge:

• zur Prädikatenlogik – Vollständigkeit, Entscheidungsproblem in Arithmetik und axiomatischer Mengentheorie
• zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik – sowie
• zur Relativitätstheorie in der Physik.