Alfred Tarski, born Alfred Teitelbaum, lived from 14 January 1901 to 26 October 1983 and 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, mathematical logic, set theory, type theory and analytic philosophy. Educated at the University of Warsaw and a member of the Lwow-Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939, became a naturalized citizen in 1945, and taught and carried out research at the University of California, Berkeley, from 1942 until his death in 1983; his biographers Anita Burdman Feferman and Solomon Feferman wrote that, along with his contemporary Kurt Godel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models.
Facts
Birth YearSourced to the subject's own account Defining MomentSourced to the subject's own accountAlong with Kurt Godel, changed the face of logic in the twentieth century through work on truth and model theory 1 Birth DateSourced to the subject's own account Death YearSourced to the subject's own account Death DateSourced to the subject's own account BirthplaceSourced to the subject's own accountWarsaw, Congress Poland 1 Death PlaceSourced to the subject's own accountBerkeley, California, US 1 TraditionSourced to the subject's own accountLwow-Warsaw school of logic; Warsaw school of mathematics 1 Classification
NationalitySourced to the subject's own account Connections
Associated With
Source Alfred Tarski (Wikipedia)
Source Liar Paradox (Wikipedia)
In Branch
Source Alfred Tarski (Wikipedia)
In the Other Atlases
Same As
Also in Mathematics Atlas: the same subject.
Nationality
Also in History Atlas: the nationality of this subject.
Originated In
Also in Geography Atlas: where this subject originated.
Source Alfred Tarski (Wikipedia)Lead sentence 1tier 3Quote, Lead sentence 1
Alfred Tarski (; Polish: [ˈtarskʲi]; born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician.
Sources
1. Alfred Tarski (Wikipedia)
WikipediaLead section, name line dates
January 14, 1901 - October 26, 1983
Infobox, Died row
Died October 26, 1983(1983-10-26) (aged 82) Berkeley, California, US
Infobox, Born row
Warsaw, Congress Poland
Lead section, significance sentence
Along with his contemporary, Kurt Godel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models.
Lead section, education sentence
Educated in Poland at the University of Warsaw, and a member of the Lwow-Warsaw school of logic and the Warsaw school of mathematics
Lead section
was a Polish-American logician
Lead section, nationality sentence
Alfred Tarski (; Polish: [ˈtarskʲi]; born Alfred Teitelbaum; January 14, 1901, October 26, 1983) was a Polish-American logician and mathematician.
Associated With: Kurt Gödel, Legacy section, Godel comparison
Tarski's 1969 'Truth and proof' considered both Godel's incompleteness theorems and Tarski's undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.
In Branch: Logic, Lead
Alfred Tarski (; Polish: [ˈtarskʲi]; born Alfred Teitelbaum; January 14, 1901, October 26, 1983) was a Polish-American logician and mathematician.
- In Group: Analytic Logic, Page categories: Analytic philosophers
View the Source Wikidata: Alfred Tarski
Wikidata Q207534, class allow-list match, case-insensitive label variant (w-bbfill-smallsix2-0926/resolve_ci.ps1)View the Source Liar Paradox (Wikipedia)
WikipediaAssociated With: Liar Paradox, Article textQuote, Associated With: Liar Paradox, Article text
Alfred Tarski diagnosed the paradox as arising only in languages that are "semantically closed", by which he meant a
View the Source 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.