Alfred Tarski
Alfred Tarski (* 14. Januar 1901 [nach anderen Quellen: 1902] in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnischer Mathematiker und Logiker.Alfred Tarski ist einer der Hauptvertreter der Lwow-Warschau-Schule vor dem 2. Weltkrieg. Er war Schüler von Łukasiewicz und Leśniewski. Tarski wurde 1926 Dozent an der Universität Warschau, emigrierte 1939 in die USA und wirkte dann in Berkeley (Kalifornien).
Bereits 1930 entwickelte Tarski eine Formel, die dem Unvollständigkeitssatz Kurt Gödels aus dem Jahr 1931 fast entsprach.
Während des Einmarsches deutscher Truppen in Polen 1939 befand sich Tarski gerade in den USA. Aufgrund der geänderten Lage in seinem Heimatland entschloss er sich in den USA zu bleiben. Schließlich fand er 1942 eine Anstellung an der University of California, Berkeley, der er ein Leben lang verbunden blieb.
Seine Arbeiten umfassten neue Ansätze in der Behandlung von Entscheidungproblemen, der Axiomatisierung von Algebra und Geometrie sowie in der Algebraisierung von Logik und Metamathematik. Seine Arbeiten wirken insbesondere in der Modelltheorie und in der analytischen Sprachphilosophie bis heute nach.