Alfred Tarski

Alfred Tarski
AlfredTarski1968 (cropped).jpeg
Date personale
Nume la naștereAlfred Tajtelbaum și Alfred Teitelbaum Modificați la Wikidata
Născut[1][7][8][9] Modificați la Wikidata
Varșovia, Imperiul Rus[10][11][12] Modificați la Wikidata
Decedat (82 de ani)[1][7][8][9] Modificați la Wikidata
Berkeley, California, SUA[13] Modificați la Wikidata
ÎnmormântatBerkeley Modificați la Wikidata
CetățenieFlag of Russia.svg Imperiul Rus
Flag of Poland.svg Polonia
Flag of the United States.svg Statele Unite ale Americii Modificați la Wikidata
Religiecatolicism[2] Modificați la Wikidata
Ocupațiematematician
filozof Modificați la Wikidata
Activitate
Domeniulogică
teoria modelelor[*]
matematică  Modificați la Wikidata
Număr ErdősModificați la Wikidata
InstituțieUniversitatea 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]  Modificați la Wikidata
Alma MaterUniversitatea din Varșovia[3][2]
Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]][2][5]  Modificați la Wikidata
OrganizațiiAcademia 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  Modificați la Wikidata
Conducător de doctorat Stanisław Leśniewski[*][[Stanisław Leśniewski (Polish mathematician and philosopher (1886-1939))|​]]  Modificați la Wikidata
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]  Modificați la Wikidata
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 (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 (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 |​]]  Modificați la Wikidata
PremiiBursă Guggenheim[*] ()[3]  Modificați la Wikidata

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.

NoteModificare

  1. ^ a b „Alfred Tarski”, Gemeinsame Normdatei, accesat în  
  2. ^ a b c d e f g h i MacTutor History of Mathematics archive 
  3. ^ a b c d e https://www.gf.org/fellows/all-fellows/alfred-tarski/  Lipsește sau este vid: |title= (ajutor)
  4. ^ https://www.nndb.com/people/383/000113044/  Lipsește sau este vid: |title= (ajutor)
  5. ^ , p. 4 https://books.google.cat/books?id=olNDBAAAQBAJ  Lipsește sau este vid: |title= (ajutor)
  6. ^ a b c d e f g h i j k l m n o p q r s t u v w x y z Genealogia matematicienilor 
  7. ^ a b Autoritatea BnF, accesat în  
  8. ^ a b MacTutor History of Mathematics archive, accesat în  
  9. ^ a b Alfred Tarski, SNAC, accesat în  
  10. ^ „Alfred Tarski”, Gemeinsame Normdatei, accesat în  
  11. ^ https://history.computer.org/pioneers/tarski.html  Lipsește sau este vid: |title= (ajutor)
  12. ^ http://texts.cdlib.org/view?docId=hb4d5nb20m&doc.view=frames&chunk.id=div00159&toc.depth=1&toc.id=  Lipsește sau este vid: |title= (ajutor)
  13. ^ „Alfred Tarski”, Gemeinsame Normdatei, accesat în  

Legături externeModificare

Wikimedia Commons conține materiale multimedia legate de Alfred Tarski