Alfred Tarski

Der polnische Mathematiker und Logiker Alfred Tarski (ursprünglich: Alfred Tajtelbaum, * 14. Januar 1902 in Warschau, † 26. Oktober 1983 in Berkeley, California) ist einer der Hauptvertreter der Lwow-Warschau-Schule vor dem 2. Weltkrieg. Er ist 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).

Er veröffentlichte zahlreiche grundlegende Arbeiten zur mathematischen Logik, Mengenlehre, Metamathematik, Modelltheorie, Algebra und Geometrie.

Insbesondere gehen die exakten mengentheoretischen Methoden zur Interpretation formalisierter Sprachen auf ihn zurück.

Von Tarski stammen wesentliche Gedanken zur modernen Algebraisierung von Logik und Metamathematik. Er hat u. a. die Zylinderalgebren eingeführt. Tarski sieht in der mathematischen Logik die höchste Stufe in der Entwicklung der Logik, und zwar nicht nur aufgrund ihrer Klarheit und der Vollkommenheit ihrer Grundlagen und Methoden, sondern hauptsächlich wegen der Bedeutung der durch sie gelieferten Begriffsbildungen und Theorien.

Online-Texte

Weblinks