Alfred Tarski (January 14, 1901 – October 26, 1983) was a Polish logician, mathematician and philosopher. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and 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.
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."
Read more about Alfred Tarski: Life, Mathematician, Logician, Truth in Formalized Languages, Logical Consequence, What Are Logical Notions?, Works