Polish mathematician who worked in several fields of mathematics, in particular logic.
- 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
- Tarski-Grothendieck Set Theory (with Alexander Grothendieck)
Results named for Alfred Tarski can be found here.
Definitions of concepts named for Alfred Tarski can be found here.
Over 2500, including:
- 1924: Sur la décomposition des ensembles de points en parties respectivement congruentes (Fund. Math. Vol. 6: pp. 244 – 277) (with Stefan Banach) (in which Banach-Tarski Paradox is presented)
- 1928: Un théorème sur les fonctions d'ensembles (Ann. Soc. Polon. Math Vol. 6: pp. 133 – 134) (with Bronisław Knaster)
- 1930: Untersuchungen über den Aussagenkalkül ("Investigations into the Sentential Calculus") (Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III Vol. 23: pp. 30 – 50) (with Jan Łukasiewicz)
- 1933 The concept of truth in formalized languages
- 1935: Geometry
- 1936: On the concept of logical consequence
- 1941: Introduction to Logic and to the Methodology of Deductive Sciences (translation by Olaf Helmer of O Logice Matematycznej i Metodzie Dedukcyjnej)
- 1948: Some Theorems About the Sentential Calculi of Lewis and Heyting (J. Symb. Logic Vol. 13: pp. 1 – 15) (with J.C.C. McKinsey) www.jstor.org/stable/2268135
- 1948: A decision method for elementary algebra and geometry
- 1949: Cardinal Algebras
- 1953: Undecidable theories
- 1955: A lattice-theoretical fixpoint theorem and its applications (Pacific J. Math. Vol. 5, no. 2: pp. 285 – 309)
- 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.