Alfred Tarski

Alfred Tarski
Tarski in 1968
Born	Alfred Teitelbaum (1901-01-14)January 14, 1901 Warsaw, Congress Poland
Died	October 26, 1983(1983-10-26) (aged 82) Berkeley, California, US
Nationality	Polish, American
Education	University of Warsaw (Ph.D., 1924)
Known for	Work on the foundations of modern logic Semantic theory of truth (Convention T) Tarski's undefinability theorem Development of model theory Logic of relations Banach–Tarski paradox Tarski's fixed-point theorem Tarski-style universes Tarski's axioms Tarski monster group Tarski's circle-squaring problem Tarski–Kuratowski algorithm Jónsson–Tarski duality Lindenbaum–Tarski algebra
Scientific career
Fields	Mathematics, logic, formal language
Institutions	University of Warsaw (1925–1939) University of California, Berkeley (1942–1983)
Thesis	O wyrazie pierwotnym logistyki (On the Primitive Term of Logistic) (1924)
Doctoral advisor	Stanisław Leśniewski
Doctoral students	Solomon Feferman Haim Gaifman Bjarni Jónsson Howard Jerome Keisler Roger Maddux Richard Montague Anne C. Morel Andrzej Mostowski Julia Robinson Wanda Szmielew Robert Vaught
Other notable students	Evert Willem Beth

Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum;^[1][2][3] January 14, 1901 – October 26, 1983) was a Polish-American^[4] logician and mathematician.^[5] A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.^[6]

His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."^[7]