Alfred Tarski
 |
| Alfred Tarski |
Born in Warsaw in 1901, Tarski was educated in Polish schools and received his Ph.D. at the University of Warsaw in 1924. He served as a Docent and later as an Adjunct Professor at the University of Warsaw. He was visiting the U.S. when Germany invaded Poland in 1939. Unable to return home, he remained in this country and in 1942 accepted a position as Lecturer at Berkeley. He became a full professor in 1946 and in 1958 founded the pioneering interdisciplinary Group in Logic and the Methodology Science. He retired in 1971 and died in October 1983 at the age of 82.
Of his numerous investigations, outlined in seven books and more than 300 other publications, Tarski was most proud of two: his design in 1930 of an algorithm to decide the truth or falsity of any sentence in the elementary theory of the field of real numbers and his path-breaking mathematical treatment in the early 1930's of the semantics of formal languages and the concept of truth.
|