Mathematician:Alfred Tarski
(Redirected from Mathematician:A. Tarski)
Jump to navigation
Jump to search
Mathematician
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)
- Lindenbaum-Tarski Algebra (with Adolf Lindenbaum)
- Tarski-Grothendieck Set Theory (with Alexander Grothendieck)
Many more.
Results named for Alfred Tarski can be found here.
Definitions of concepts named for Alfred Tarski can be found here.
Axioms named for Alfred Tarski can be found here.
Publications
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: Über einige fundamentale begriffe der metamathematik (Sprawozdania z Posiedzeń Towarzystwa Naukowego Warszawskiego. Wydział III Vol. 23: pp. 22 – 29)
- 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)
- 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
- 1965: The Theory of Models (as editor, with J.W. Addison and L. Henkin)
- 1968: Equational logic and equational theories of algebras
- 1969: Truth and proof
Also known as
Name at birth: Alfred Teitelbaum.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Tarski, Alfred (1902-85)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Tarski, Alfred (1902-85)