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
Connections
Attributed Works
Source Inaccessible cardinal (Wikipedia)
In Branch
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
LeadQuote, 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.
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
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.