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.