Alfred Tarski
Alfred Tarski | |
Date personale | |
---|---|
Nume la naștere | Alfred Tajtelbaum și Alfred Teitelbaum |
Născut | [6][7][8][9] Varșovia, Polonia Congresului[10][11][12] |
Decedat | (82 de ani)[6][7][8][9] Berkeley, California, SUA[13] |
Înmormântat | Berkeley |
Cetățenie | Polonia Congresului Polonia Statele Unite ale Americii |
Religie | catolicism[1] |
Ocupație | matematician filozof |
Limbi vorbite | limba engleză[14][15] limba germană[15] limba poloneză[15] |
Activitate | |
Domeniu | logică teoria modelelor[*] matematică |
Număr Erdős | 1 |
Instituție | Universitatea Berkeley din California[1] Universitatea Harvard[2][1] City College of New York[*][2][1] Universitatea din Varșovia[2][3][1] 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)|]][1] Institute for Advanced Study[1] |
Alma Mater | Universitatea din Varșovia[2][1] Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|]][1][4] |
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 (learned society)|]] Association for Symbolic Logic[*][[Association for Symbolic Logic (international organization focused on logic)|]] |
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)|]][5] Haim Gaifman[*][[Haim Gaifman (American logician)|]][5] Bjarni Jónsson[*][[Bjarni Jónsson (matematician islandez)|]][5] Howard Jerome Keisler[*][[Howard Jerome Keisler (matematician american)|]][5] Roger Maddux[*][[Roger Maddux (matematician american)|]][5] Richard Montague[*][[Richard Montague (American mathematician and philosopher)|]][5] Andrzej Mostowski[*][[Andrzej Mostowski (matematician polonez)|]][5] Julia Robinson[*][5] Robert Lawson Vaught[*][[Robert Lawson Vaught (matematician american)|]][5] George McNulty[*][[George McNulty (American mathematics professor)|]][5] ...î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 (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[*] ()[2] |
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.
Note
- ^ a b c d e f g h i MacTutor History of Mathematics archive
- ^ a b c d e https://www.gf.org/fellows/all-fellows/alfred-tarski/ Lipsește sau este vid:
|title=
(ajutor) - ^ https://www.nndb.com/people/383/000113044/ Lipsește sau este vid:
|title=
(ajutor) - ^ , p. 4 https://books.google.cat/books?id=olNDBAAAQBAJ Lipsește sau este vid:
|title=
(ajutor) - ^ a b c d e f g h i j Genealogia matematicienilor
- ^ a b „Alfred Tarski”, Gemeinsame Normdatei, accesat în
- ^ a b Autoritatea BnF, accesat în
- ^ a b MacTutor History of Mathematics archive, accesat în
- ^ a b Alfred Tarski, SNAC, accesat în
- ^ „Alfred Tarski”, Gemeinsame Normdatei, accesat în
- ^ https://history.computer.org/pioneers/tarski.html Lipsește sau este vid:
|title=
(ajutor) - ^ 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) - ^ „Alfred Tarski”, Gemeinsame Normdatei, accesat în
- ^ Autoritatea BnF, accesat în
- ^ a b c CONOR[*][[CONOR (authority control file for author and corporate names in Slovene system COBISS)|]] Verificați valoarea
|titlelink=
(ajutor)
Legături externe
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! |