About Alfred Tarski
Alfred Tarski 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, type theory, and analytic philosophy.
Known for:
Tarski's undefinability theorem|Knaster–Tarski theorem|Banach–Tarski paradox|Lindenbaum–Tarski algebra|Tarski's circle-squaring problem|Tarski's theorem|semantic theory of truth|Tarski's axiomatization of the reals|Tarski's axioms|Tarski's exponential function problem|Tarski's high school algebra problem|Tarski's plank problem|Tarski monster group|Tarski–Kuratowski algorithm|Łoś–Tarski preservation theorem|Tarski–Seidenberg theorem|Jónsson–Tarski algebra
Notable works:
Introduction to logic and to the methodology of deductive sciences
Awards:
Guggenheim Fellowship|honorary doctorate of the University of the Mediterranean - Aix Marseille II
