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 LeImageniewski and Jan Łukasiewicz in logic, SIERPIImageSKI [VI.77] in set theory, and Stefan Mazurkiewicz and Kazimierz Kuratowski in topology. In his thesis Tarski solved a core ...

Get The Princeton Companion to Mathematics now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.