Alfred Tarski Date personale Nume la naștere Alfred Tajtelbaum și Alfred Teitelbaum Născut 14 ianuarie 1901 [1] [7] [8] [9] Varșovia , Imperiul Rus Decedat 26 octombrie 1983 (82 de ani)[1] [7] [8] [9] Berkeley , California , SUA Înmormântat Berkeley Cetățenie Imperiul Rus Polonia SUA Religie catolicism [2] Ocupație matematician filozof Activitate Domeniu logică teoria modelelor [*] matematică Număr Erdős 1 Instituție Universitatea Berkeley din California [2] Universitatea Harvard [3] [2] City College of New York [*] [3] [2] Universitatea din Varșovia [3] [4] [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)|]] [2] Institute for Advanced Study [2] Alma Mater Universitatea din Varșovia [3] [2] Szkoła Mazowiecka [*] [[Szkoła Mazowiecka (high school in Warsaw, Poland)|]] [2] [5] 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)|]] [6] Haim Gaifman [*] [[Haim Gaifman (American logician)|]] [6] Bjarni Jónsson [*] [[Bjarni Jónsson (matematician islandez)|]] [6] Howard Jerome Keisler [*] [[Howard Jerome Keisler (matematician american)|]] [6] Roger Maddux [*] [[Roger Maddux (matematician american)|]] [6] Richard Montague [*] [[Richard Montague (American mathematician and philosopher)|]] [6] Andrzej Mostowski [*] [[Andrzej Mostowski (matematician polonez)|]] [6] Julia Robinson [*] [6] Robert Lawson Vaught [*] [[Robert Lawson Vaught (matematician american)|]] [6] George Frank McNulty [*] [[George Frank McNulty (Ph.D. University of California, Berkeley 1972)|]] [6] James Donald Monk [*] [[James Donald Monk (Ph.D. University of California, Berkeley 1961)|]] [6] Frederick Burtis Thompson [*] [[Frederick Burtis Thompson (American logician and computer scientist)|]] [6] Wanda Szmielew [6] Leonard Gillman [*] [[Leonard Gillman (American mathematician and classical pianist)|]] [6] Anne C. Morel [*] [[Anne C. Morel (matematiciană americană)|]] [6] Don Leonard Pigozzi [*] [[Don Leonard Pigozzi (Ph.D. University of California, Berkeley 1970)|]] [6] Edgar C. Smith, Jr. [*] [[Edgar C. Smith, Jr. (Ph.D. Brown University 1955)|]] [6] John Elliott Doner [*] [[John Elliott Doner (Ph.D. University of California, Berkeley 1968)|]] [6] Louise Hoy Chin Lim [*] [[Louise Hoy Chin Lim (Ph.D. University of California, Berkeley 1948)|]] [6] Robert Earl Bradford [*] [[Robert Earl Bradford (Ph.D. University of California, Berkeley 1965)|]] [6] Haragauri Narayan Gupta [*] [[Haragauri Narayan Gupta (Ph.D. University of California, Berkeley 1965)|]] [6] Judith (Kan) Ching Ng [*] [[Judith (Kan) Ching Ng (Ph.D. University of California, Berkeley 1984)|]] [6] Charles Fontaine Martin [*] [[Charles Fontaine Martin (Ph.D. University of California, Berkeley 1973)|]] [6] William Porter Hanf [*] [[William Porter Hanf (Ph.D. University of California, Berkeley 1963)|]] [6] Benjamin Franklin Wells, III [*] [[Benjamin Franklin Wells, III (Ph.D. University of California, Berkeley 1982)|]] [6] Chen Chung Chang [*] [[Chen Chung Chang (matematician american)|]] [6] 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 |]] 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 |]] 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 ) [3] 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.