Alfred Tarski

Alfred Tarski
Date personale
Nume la naștere	Alfred Tajtelbaum și Alfred Teitelbaum
Născut	14 ianuarie 1901 Varșovia, Polonia Congresului
Decedat	26 octombrie 1983 (82 de ani) Berkeley, California, SUA
Înmormântat	Berkeley
Cetățenie	Polonia Congresului  Polonia  Statele Unite ale Americii
Religie	catolicism
Ocupație	matematician filozof
Limbi vorbite	limba engleză
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)|​]] ...încă 16
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 (first-order axiomatization of a fragment of Euclidean geometry)|​]] 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 (mathematical 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.