Alfred Tarski

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ă.

Alfred Tarski
Date personale
Nume la naștere	Alfred Tajtelbaum și Alfred Teitelbaum
Născut	14 ianuarie 1901[1][2][3][4] Varșovia, Polonia Congresului[5][6][7]
Decedat	26 octombrie 1983 (82 de ani)[1][2][3][4] Berkeley, California, SUA[8]
Înmormântat	Berkeley
Cetățenie	Polonia Congresului  Polonia  Statele Unite ale Americii
Religie	catolicism[9]
Ocupație	matematician filozof
Limbi vorbite	limba engleză[10][11] limba germană[11] limba poloneză[11]
Activitate
Domeniu	logică teoria modelelor[*]​ matematică
Număr Erdős	1
Instituție	Universitatea Berkeley din California[9] Universitatea Harvard[12][9] City College of New York[*]​[12][9] Universitatea din Varșovia[12][13][9] 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)|​]][9] Institute for Advanced Study[9]
Alma Mater	Universitatea din Varșovia[12][9] Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]][9][14]
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)|​]][15] Haim Gaifman[*][[Haim Gaifman (American logician)|​]][15] Bjarni Jónsson[*][[Bjarni Jónsson (matematician islandez)|​]][15] Howard Jerome Keisler[*][[Howard Jerome Keisler (matematician american)|​]][15] Roger Maddux[*][[Roger Maddux (matematician american)|​]][15] Richard Montague[*][[Richard Montague (American mathematician and philosopher)|​]][15] Andrzej Mostowski[*][[Andrzej Mostowski (matematician polonez)|​]][15] Julia Robinson[*]​[15] Robert Lawson Vaught[*][[Robert Lawson Vaught (matematician american)|​]][15] George McNulty[*][[George McNulty (American mathematics professor)|​]][15] ...î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 (theorem in 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)[12]

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.