Mathematician:Alfred Tarski

Name at birth: Alfred Teitelbaum.

Polish mathematician who worked in several fields of mathematics, in particular logic.

Most famous for the Banach-Tarski Paradox (with Stefan Banach) in 1924.

Nationality
Polish

History

 * Born: 14 Jan 1902, Warsaw, Russian Empire (now Poland)
 * Died: 26 Oct 1983, Berkeley, California, USA

Theorems and Definitions

 * Banach-Tarski Paradox (with Stefan Banach)
 * Knaster-Tarski Lemma (with Bronisław Knaster)
 * Knaster-Tarski Theorem (with Bronisław Knaster)
 * Tarski-Vaught Test (with Robert Lawson Vaught)
 * Tarski's Undefinability Theorem
 * Tarski's Geometry

Many more.

Books and Papers
Over 2500, including:


 * 1933 The concept of truth in formalized languages
 * 1935: Geometry
 * 1936: On the concept of logical consequence
 * 1936:
 * 1948: A decision method for elementary algebra and geometry
 * 1949: Cardinal Algebras
 * 1953: Undecidable theories
 * 1956: Logic, semantics, metamathematics
 * 1956: Ordinal algebras
 * 1957: The axiomatic method: with special reference to geometry and physics
 * 1968: Equational logic and equational theories of algebras
 * 1969: Truth and proof
 * 1957: The axiomatic method: with special reference to geometry and physics
 * 1968: Equational logic and equational theories of algebras
 * 1969: Truth and proof