Alfred Tarski

Alfred Tarski
Date personale
Nume la naștere	Alfred Tajtelbaum și Alfred Teitelbaum
Născut	14 ianuarie 1901 Varșovia, Imperiul Rus
Decedat	26 octombrie 1983 (82 de ani) Berkeley, California, SUA
Înmormântat	Berkeley
Cetățenie	Imperiul Rus  Polonia  Statele Unite ale Americii
Religie	catolicism
Ocupație	matematician filozof
Activitate
Domeniu	logică teoria modelelor[*]​ matematică
Număr Erdős	1
Instituție	Universitatea Berkeley din California Universitatea Harvard City College of New York[*]​ Universitatea din Varșovia XL Liceum Ogólnokształcące z Oddziałami Dwujęzycznymi im. Stefana Żeromskiego w Warszawie[*][[XL Liceum Ogólnokształcące z Oddziałami Dwujęzycznymi im. Stefana Żeromskiego w Warszawie (high school in Warsaw, Poland)|​]] Institute for Advanced Study
Alma Mater	Universitatea din Varșovia Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]]
Organizații	Academia Națională de Științe a Statelor Unite ale Americii[*]​ Academia Americană de Arte și Științe[*]​ Academia Regală Neerlandeză de Arte și Științe
Conducător de doctorat	Stanisław Leśniewski[*][[Stanisław Leśniewski (Polish mathematician and philosopher (1886-1939))|​]]
Doctoranzi	Solomon Feferman[*][[Solomon Feferman (matematician american)|​]] Haim Gaifman[*][[Haim Gaifman (American logician)|​]] Bjarni Jónsson[*][[Bjarni Jónsson (matematician islandez)|​]] Howard Jerome Keisler[*][[Howard Jerome Keisler (matematician american)|​]] Roger Maddux[*][[Roger Maddux (matematician american)|​]] Richard Montague[*][[Richard Montague (American mathematician and philosopher)|​]] Andrzej Mostowski[*][[Andrzej Mostowski (matematician polonez)|​]] Julia Robinson[*]​ Robert Lawson Vaught[*][[Robert Lawson Vaught (matematician american)|​]] George Frank McNulty[*][[George Frank McNulty (Ph.D. University of California, Berkeley 1972)|​]] James Donald Monk[*][[James Donald Monk (Ph.D. University of California, Berkeley 1961)|​]] Frederick Burtis Thompson[*][[Frederick Burtis Thompson (American logician and computer scientist)|​]] Wanda Szmielew Leonard Gillman[*][[Leonard Gillman (American mathematician and classical pianist)|​]] Anne C. Morel[*][[Anne C. Morel (matematiciană americană)|​]] Don Leonard Pigozzi[*][[Don Leonard Pigozzi (Ph.D. University of California, Berkeley 1970)|​]] Edgar C. Smith, Jr.[*][[Edgar C. Smith, Jr. (Ph.D. Brown University 1955)|​]] John Elliott Doner[*][[John Elliott Doner (Ph.D. University of California, Berkeley 1968)|​]] Louise Hoy Chin Lim[*][[Louise Hoy Chin Lim (Ph.D. University of California, Berkeley 1948)|​]] Robert Earl Bradford[*][[Robert Earl Bradford (Ph.D. University of California, Berkeley 1965)|​]] Haragauri Narayan Gupta[*][[Haragauri Narayan Gupta (Ph.D. University of California, Berkeley 1965)|​]] Judith (Kan) Ching Ng[*][[Judith (Kan) Ching Ng (Ph.D. University of California, Berkeley 1984)|​]] Charles Fontaine Martin[*][[Charles Fontaine Martin (Ph.D. University of California, Berkeley 1973)|​]] William Porter Hanf[*][[William Porter Hanf (Ph.D. University of California, Berkeley 1963)|​]] Benjamin Franklin Wells, III[*][[Benjamin Franklin Wells, III (Ph.D. University of California, Berkeley 1982)|​]] Chen Chung Chang[*][[Chen Chung Chang (matematician american)|​]]
Cunoscut pentru	Łoś–Tarski preservation theorem[*][[Łoś–Tarski preservation theorem |​]] Knaster–Tarski theorem[*][[Knaster–Tarski theorem (theorem)|​]] Tarski's theorem[*][[Tarski's theorem (theorem equivalent to the Axiom of Choice)|​]] teorema Tarski[*]​ Tarski–Seidenberg theorem[*][[Tarski–Seidenberg theorem (mathematical logic)|​]] Banach–Tarski paradox[*][[Banach–Tarski paradox (idea of taking apart an object and constructing two identical copies of it)|​]] Lindenbaum–Tarski algebra[*][[Lindenbaum–Tarski algebra |​]] Jónsson–Tarski algebra[*][[Jónsson–Tarski algebra |​]] semantic theory of truth[*][[semantic theory of truth (in the philosophy of language, a theory of truth holding that truth is a property of sentences)|​]] Tarski's axioms[*][[Tarski's axioms (axiom set used in first-order logic)|​]] Tarski's axiomatization of the reals[*][[Tarski's axiomatization of the reals |​]] Tarski's circle-squaring problem[*][[Tarski's circle-squaring problem (mathematical problem)|​]] Tarski's exponential function problem[*][[Tarski's exponential function problem |​]] Tarski's high school algebra problem[*][[Tarski's high school algebra problem (Mathematical problem)|​]] Tarski–Kuratowski algorithm[*][[Tarski–Kuratowski algorithm |​]] Tarski monster group[*][[Tarski monster group (an infinite group, whose proper nontrivial subgroup are all cyclic groups, whose orders all equal a fixed prime number)|​]] Tarski's plank problem[*][[Tarski's plank problem |​]]
Premii	Bursă Guggenheim[*]​ (1941)

Alfred Tarski (n. 14 ianuarie 1902, Varșovia – d. 26 octombrie 1983 Berkeley, California) a fost un logician, filozof al limbajului și matematician polonez-american. A fost un membru în perioada interbelică a Școlii de matematică de la Varșovia, după 1939 a activat în SUA, scriind pe variate domenii de cercetare cum ar fi: topologie, geometrie, logică matematică, teoria mulțimilor, algebră.

Contribuțiile sale sunt notabile și pentru filozofie, prin studiul semanticii, mai exact prin metoda de formalizare a relațiilor dintre expresia și obiectul pe care acestea le denotă. În domeniul logicii contribuția sa majoră a fost aprofundarea adevărului în relație cu un limbaj logic formalizat.