Alfred Tarski, born Alfred Teitelbaum on January 14, 1901, was a Polish-American logician and mathematician, a prolific author best known for his work on model theory, metamathematics and algebraic logic, who also contributed to abstract algebra, topology, geometry, measure theory, set theory and analytic philosophy. He was educated in Poland at the University of Warsaw and was a member of the Lwów-Warsaw school of logic and the Warsaw school of mathematics. In 1939 he immigrated to the United States, where he became a naturalized citizen in 1945, and he taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death on October 26, 1983.
Facts
Alfred Tarski
Filter Results4 entries
Connections
Attributed Works
Source Inaccessible cardinal (Wikipedia)
In Branch
Source Wikipedia: Alfred Tarski
Mentored
Source Julia Robinson (Wikipedia)
Principal Result
Source Wikipedia: Alfred Tarski
Proofs Credited
Source MacTutor History of Mathematics: Stefan Banach
Source Los Tarski preservation theorem (Wikipedia)
Source Tarski's undefinability theorem (Wikipedia)
Source Tarski-Seidenberg Theorem (Wikipedia)
In the Other Atlases
Same As
Also in Philosophy Atlas: the same subject.
Also in Science Atlas: the same subject.
Nationality
Also in Geography Atlas: the nationality of this subject.
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Alfred Tarski
Lead
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.
Principal Result: Tarski's Undefinability Theorem, Article text
Tarski's 1969 "Truth and proof" considered both Gödel's incompleteness theorems and Tarski's undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.
View the Source2. MacTutor History of Mathematics, University of St Andrews: Alfred Tarski
MacTutor History of Mathematics, University of St AndrewsQuick Info: BornQuote, Quick Info: Born
14 January 1901
MacTutor History of Mathematics: Stefan Banach
MacTutor History of MathematicsProofs Credited: Banach-Tarski Paradox, Biography textQuote, Proofs Credited: Banach-Tarski Paradox, Biography text
The Banach- Tarski paradox appeared in a joint paper of the two mathematicians in 1926 in Fundamenta Mathematicae entitled Sur la décomposition des
Julia Robinson (Wikipedia)
Mentored: Julia Robinson, Doctoral workQuote, Mentored: Julia Robinson, Doctoral work
Robinson received her PhD degree in 1948 under Alfred Tarski
Inaccessible cardinal (Wikipedia)
Attributed Works: Inaccessible Cardinal, Lead sentence, attributionQuote, Attributed Works: Inaccessible Cardinal, Lead sentence, attribution
Strongly inaccessible cardinals were introduced by Sierpiński & Tarski (1930) and Zermelo (1930)
Tarski's undefinability theorem (Wikipedia)
Wikimedia FoundationProofs Credited: Tarski's Undefinability Theorem, LeadQuote, Proofs Credited: Tarski's Undefinability Theorem, Lead
Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1933, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics.
Tarski-Seidenberg Theorem (Wikipedia)
Wikimedia FoundationProofs Credited: Tarski-Seidenberg Theorem, LeadQuote, Proofs Credited: Tarski-Seidenberg Theorem, Lead
This theorem was proved by Alfred Tarski in 1930 in view of his proof that the theory of real closed fields is complete (every formula can be proved either as true or as false) and admits quantifier elimination.
Los Tarski preservation theorem (Wikipedia)
Proofs Credited: Los-Tarski Theorem, Lead sectionQuote, Proofs Credited: Los-Tarski Theorem, Lead section
The theorem is named after Jerzy Łoś and Alfred Tarski.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.