Alfred Tarski

Alfred Tarski
Date personale
Nume la naștere	Alfred Tajtelbaum și Alfred Teitelbaum
Născut	14 ianuarie 1901[6][7][8][9][10] Varșovia, Polonia Congresului[11][12][13]
Decedat	26 octombrie 1983 (82 de ani)[6][7][8][14][15] Berkeley, California, SUA[16]
Înmormântat	Berkeley
Cetățenie	Imperiul Rus  Polonia  Statele Unite ale Americii
Religie	catolicism[1] ateu
Ocupație	matematician filozof
Limbi vorbite	limba engleză[8][17] limba germană[17] limba poloneză[17]
Activitate
Domeniu	logică teoria modelelor[*]​ matematică
Număr Erdős	1
Instituție	Universitatea Berkeley din California[1] Universitatea Harvard[2][1] City College of New York[*]​[2][1] Universitatea din Varșovia[3][1][2] 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)|​]][1] Institute for Advanced Study[1]
Alma Mater	Universitatea din Varșovia[2][1] Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]][1][4]
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 International Union of History and Philosophy of Science[*][[International Union of History and Philosophy of Science (scientific society)|​]] Association for Symbolic Logic[*][[Association for Symbolic Logic (international organization focused on logic)|​]]
Conducător de doctorat	Stanisław Leśniewski[*]​
Doctoranzi	Solomon Feferman[*][[Solomon Feferman (matematician american)|​]][5] Haim Gaifman[*][[Haim Gaifman (American logician)|​]][5] Bjarni Jónsson[*][[Bjarni Jónsson (matematician islandez)|​]][5] Howard Jerome Keisler[*][[Howard Jerome Keisler (matematician american)|​]][5] Roger Maddux[*][[Roger Maddux (matematician american)|​]][5] Richard Montague[*][[Richard Montague (American mathematician and philosopher (1930–1971))|​]][5] Andrzej Mostowski[*]​[5] Julia Robinson[*]​[5] Robert Lawson Vaught[*]​[5] George McNulty[*][[George McNulty (American mathematics professor)|​]][5] ...î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 (theorem that there exists a decomposition of a unit solid ball into a finite number of disjoint subsets, which can be put back together in a different way to yield two identical copies of the unit sphere)|​]] Lindenbaum–Tarski algebra[*][[Lindenbaum–Tarski algebra (algebra of the operations on a logical theory up to equivalence)|​]] 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 (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)[2]
Modifică date / text

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.