Alfred Tarski

Alfred Tarski (January 14, 1901 in Warsaw ? October 26, 1983 in Berkeley, USA) was a Polish logician considered to be one of the greatest logicians of all time in a manner after Aristotle, Gottlob Frege, and Kurt Gödel.

Related Topics:
January 14 - 1901 - Warsaw - October 26 - 1983 - Berkeley - USA - Polish - Logician - Aristotle - Gottlob Frege - Kurt Gödel

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Tarski made contributions to algebra, measure theory, mathematical logic, set theory and metamathematics. See Truth for a brief description of the "Convention T" standard in his "inductive definition of truth". This was an important contribution to symbolic logic and the philosophy of language.

Related Topics:
Algebra - Measure theory - Mathematical logic - Set theory - Metamathematics - Truth - Symbolic logic - Philosophy of language

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Tarski studied logic and philosophy in Warsaw with Jan ?ukasiewicz, Stanis?aw Le?niewski, and Tadeusz Kotarbi?ski.

Related Topics:
Jan ?ukasiewicz - Stanis?aw Le?niewski - Tadeusz Kotarbi?ski

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

In August 1939, he attended the Unity of Science conference in Harvard, where the German invasion of Poland found him. He remained in the United States and became a naturalized citizen in 1945. He joined the University of California, Berkeley in 1942, and became professor of mathematics there in 1949.

Related Topics:
1939 - Unity of Science - Harvard - German invasion of Poland - United States - 1945 - University of California, Berkeley

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

(Givant 1986) provides a comprehensive bibliography of Tarski's writings. (Feferman and Feferman 2004) is a full-length biography.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~