Mathematician:Alfred Tarski

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

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

Nationality
Polish

History

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

Theorems and Definitions

 * Tarski's Undefinability Theorem


 * Banach-Tarski Paradox (with )
 * Knaster-Tarski Lemma (with )
 * Knaster-Tarski Theorem (with )
 * Tarski-Vaught Test (with )


 * Tarski's Axioms
 * Tarski's Geometry


 * Lindenbaum-Tarski Algebra (with )
 * Tarski-Grothendieck Set Theory (with )

Many more.

Publications
Over 2500, including:








 * 1933 The concept of truth in formalized languages
 * 1935: Geometry
 * 1936: On the concept of logical consequence


 * 1936:


 * 1941: (translation by  of )


 * 1946:




 * 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

Also known as
Name at birth: Alfred Teitelbaum.