Alfred Tarski

Alfred Tarski
Alfred Tarski
	Tarski in 1968
Born	Alfred Teitelbaum; January 14, 1901; Warsaw, Congress Poland
Died	October 26, 1983 (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-style universes; Tarski's axioms; Tarski monster group; Jónsson–Tarski duality; Tarski's circle-squaring problem;
	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; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. 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.

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."

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.