Alfred Tarski

Alfred Tarski. (1901 - 1983). Polish-American logician and mathematician.

Noteworthy

Born Alfred Teitelbaum.
Metamathematics, logic, set theory, and analytic philosophy.
Semantic theory of truth.
Tarski's undefinability theorem.
Banach–Tarski paradox.
Tarski's circle-squaring problem.
Left Poland in 1939 on the last ship to sail from Poland for the United States before the German and Soviet invasion of Poland.
Authored many papers and books.