Alfred Tarski
From Wikipedia, the free encyclopedia
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ă.
Mai multe informații Date personale, Nume la naștere ...
Alfred Tarski | |
![]() | |
Date personale | |
---|---|
Nume la naștere | Alfred 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ântat | Berkeley ![]() |
Cetățenie | Polonia Congresului![]() ![]() ![]() |
Religie | catolicism[9] ![]() |
Ocupație | matematician filozof ![]() |
Limbi vorbite | limba engleză[10][11] limba germană[11] limba poloneză[11] ![]() |
Activitate | |
Domeniu | logică teoria modelelor[*] matematică ![]() |
Număr Erdős | 1 ![]() |
Instituție | Universitatea 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 Mater | Universitatea din Varșovia[12][9] Szkoła Mazowiecka[*][[Szkoła Mazowiecka (high school in Warsaw, Poland)|]][9][14] ![]() |
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)|]][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 (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[*] ()[12] ![]() |
Modifică date / text ![]() |
Închide
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.