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	Imperiul Rus  Polonia  Statele Unite ale Americii
Religie	catolicism ateu
Ocupație	matematician filozof
Limbi vorbite	limba engleză limba germană limba poloneză
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 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)|​]] 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[*]​ Andrzej Mostowski[*]​ Julia Robinson[*]​ Robert Lawson Vaught[*]​ George McNulty[*][[George McNulty (American mathematics professor)|​]] ...încă 16
Cunoscut pentru	Łoś–Tarski preservation theorem[*][[Łoś–Tarski preservation theorem |​]] Knaster–Tarski theorem[*][[Knaster–Tarski theorem (theorem in order and lattice theory)|​]] 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) doctorat honoris causa de l'université d'Aix-Marseille-II[*][[doctorat honoris causa de l'université d'Aix-Marseille-II |​]] (1977)

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.