VI.87 Alfred Tarski
b. Warsaw, 1901; d. Berkeley, California, 1983
Symbolic logic; metamathematics; set theory; semantics; modeltheory; algebras of logic; universal algebra; axiomatic geometry
Tarski matured during Poland’s renaissance in mathematics and philosophy in the remarkable interwar period of Polish independence. His teachers at the University of Warsaw included Stanisław Leniewski and Jan Łukasiewicz in logic, SIERPISKI [VI.77] in set theory, and Stefan Mazurkiewicz and Kazimierz Kuratowski in topology. In his thesis Tarski solved a core ...