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ștereAlfred Tajtelbaum și Alfred Teitelbaum
Născut[1][2][3][4]
Varșovia, Polonia Congresului[5][6][7]
Decedat (82 de ani)[1][2][3][4]
Berkeley, California, SUA[8]
ÎnmormântatBerkeley
CetățeniePolonia Congresului
 Polonia
 Statele Unite ale Americii
Religiecatolicism[9]
Ocupațiematematician
filozof
Limbi vorbitelimba engleză[10][11]
limba germană[11]
limba poloneză[11]
Activitate
Domeniulogică
teoria modelelor[*]​
matematică 
Număr Erdős1 
InstituțieUniversitatea 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 MaterUniversitatea din Varșovia[12][9]
Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]][9][14] 
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 
Conducător de doctoratStanisław Leśniewski[*][[Stanisław Leśniewski (Polish mathematician and philosopher (1886-1939))|​]] 
DoctoranziSolomon 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)|​]] 
PremiiBursă Guggenheim[*]​ ()[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.

Note
  1. „Alfred Tarski”, Gemeinsame Normdatei, accesat în
  2. Autoritatea BnF, accesat în
  3. MacTutor History of Mathematics archive, accesat în
  4. Alfred Tarski, SNAC, accesat în
  5. „Alfred Tarski”, Gemeinsame Normdatei, accesat în
  6. https://history.computer.org/pioneers/tarski.html Lipsește sau este vid: |title= (ajutor)
  7. 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)
  8. „Alfred Tarski”, Gemeinsame Normdatei, accesat în
  9. MacTutor History of Mathematics archive
  10. Autoritatea BnF, accesat în
  11. CONOR[*][[CONOR (authority control file for author and corporate names in Slovene system COBISS)|​]] Verificați valoarea |titlelink= (ajutor)
  12. https://www.gf.org/fellows/all-fellows/alfred-tarski/ Lipsește sau este vid: |title= (ajutor)
  13. https://www.nndb.com/people/383/000113044/ Lipsește sau este vid: |title= (ajutor)
  14. , p. 4 https://books.google.cat/books?id=olNDBAAAQBAJ Lipsește sau este vid: |title= (ajutor)
  15. Genealogia matematicienilor

Legături externe
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.