Sari la conținut

Alfred Tarski

De la Wikipedia, enciclopedia liberă
Alfred Tarski

Alfred Tarski ()
Date personale
Nume la naștereAlfred Tajtelbaum și Alfred Teitelbaum Modificați la Wikidata
Născut[1][2][3][4] Modificați la Wikidata
Varșovia, Regatul Congresului[5][6][7][8] Modificați la Wikidata
Decedat (82 de ani)[1][2][3][4] Modificați la Wikidata
Berkeley, California, SUA[9] Modificați la Wikidata
ÎnmormântatBerkeley Modificați la Wikidata
Cetățenie Imperiul Rus
 Polonia
 Statele Unite ale Americii Modificați la Wikidata
Religiecatolicism[10]
ateism Modificați la Wikidata
Ocupațiematematician
filozof Modificați la Wikidata
Limbi vorbitelimba engleză[2][11]
limba germană[11]
limba poloneză[11] Modificați la Wikidata
Activitate
Domeniulogică
teoria modelelor[*]​
matematică  Modificați la Wikidata
Număr Erdős1  Modificați la Wikidata
InstituțieUniversitatea Berkeley din California[10]
Universitatea Harvard[12][10]
City College of New York[*]​[12][10]
Universitatea din Varșovia[12][13][10]
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)|​]][10]
Institute for Advanced Study[10]  Modificați la Wikidata
Alma MaterUniversitatea din Varșovia[12][10]
Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|​]][10][14]  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
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)|​]]  Modificați la Wikidata
Conducător de doctoratStanisław Leśniewski[*]​  Modificați la Wikidata
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[*]​[15]
Andrzej Mostowski[*]​[15]
Julia Robinson[*]​[15]
Robert Lawson Vaught[*]​[15]
George McNulty[*][[George McNulty (American mathematics professor)|​]][15]
...încă 16  Modificați la Wikidata
Cunoscut pentruŁoś–Tarski preservation theorem[*][[Łoś–Tarski preservation theorem (theorem in model theory)|​]]
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 (Second-order theory of the real numbers)|​]]
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)|​]]  Modificați la Wikidata
PremiiBursă Guggenheim[*]​ ()[12]
doctorat honoris causa de l'université d'Aix-Marseille-II[*][[doctorat honoris causa de l'université d'Aix-Marseille-II |​]] ()[16]  Modificați la Wikidata
Modifică date / text Consultați documentația formatului

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.

Note

[modificare | modificare sursă]
  1. ^ a b Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în . 
  2. ^ a b c Bibliothèque nationale de France. „Alfred Tarski” (în franceză). Autoritatea BnF[*]. Wikidata Q19938912. Accesat în . 
  3. ^ a b „Alfred Tarski”. MacTutor History of Mathematics archive. Wikidata Q547473. Accesat în . 
  4. ^ a b „Alfred Tarski” (în engleză). SNAC. Wikidata Q29861311. Accesat în . 
  5. ^ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. 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. ^ „Sejm-Wielki.pl profile ID: srodka.397”. Sejm-Wielki.pl[*]. 
  9. ^ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în . 
  10. ^ a b c d e f g h i „Alfred Tarski”. MacTutor History of Mathematics archive. Wikidata Q547473. 
  11. ^ a b c „Alfred Tarski”. CONOR.SI[*]. Wikidata Q16744133. 
  12. ^ a b c d e „Alfred Tarski” (în engleză). Guggenheim Fellows database[*]. Wikidata Q107425373. 
  13. ^ „Alfred Tarski” (în engleză). Notable Names Database. Wikidata Q1373513. 
  14. ^ „Alfred Tarski” (în mai multe limbi). Google Cărți. p. 4. Wikidata Q206033. 
  15. ^ a b c d e f g h i j „Alfred Tarski” (în engleză). Genealogia matematicienilor. Wikidata Q829984. 
  16. ^ „Journal officiel de la République française” (în franceză). : 6274. ISSN 0242-6773. Wikidata Q1815103. 

Legături externe

[modificare | modificare sursă]
Commons
Commons
Wikimedia Commons conține materiale multimedia legate de Alfred Tarski
Acest articol legat de filosofie este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=Alfred_Tarski&oldid=16296031