Alfred Tarski (January 14, 1901, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a Polish logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death. 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. He is regarded as perhaps one of the four greatest logicians of all time, matched only by Aristotle, Kurt Gödel, and Gottlob Frege. His biographers Anita 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."

[Last contributor : Gregbard , Content under LGPL licence]