Alfred Tarski

Alfred Tarski Berkeley-ben

Alfred Tarski vagy eredetileg Alfred Tajtelbaum vagy Teitelbaum (született január 14-, 1901-ben (más források szerint: 1902 ) in Warsaw ; † október 26-, 1983-ban a Berkeley , USA ) egy lengyel-amerikai matematikus és logikus . Alfred Tarski alapvetően hozzájárult mind a formális tudományokhoz, mind a formális igazságelmélethez ( T egyezmény ), és a Lemberg-Varsó Iskola egyik legfontosabb képviselője a második világháború előtt .

Élet

Tarred Alfred Tajtelbaum néven született egy gazdag zsidó családban Varsóban. Varsóban nőtt fel és 1918-ban iratkozott be a helyi egyetem hallgatójaként . Eredeti szándéka a biológia tanulmányozása volt, de Jan Łukasiewicz , Stanisław Leśniewski és Wacław Sierpiński hatására áttért a matematikára. 1923-ban benyújtott doktori disszertációját Leśniewski felügyelete alatt fejezte be; 1926-ban doktorált . 1923-ban testvérével, Wacławval családnevét lengyel hangzású "Tarski" névre változtatta (amelynek " -ski " vége a történelmi lengyel nemesség származását sugallja). A két testvér áttért a katolicizmusra, amely Lengyelországban az uralkodó vallás. Az áttérés azonban csak egy lépés volt a papíron; valójában Tarski meggyőződéses ateista volt. Tarski vállalta a névváltást és a címletváltást, mert remélte, hogy ez javítja esélyeit a székre való jelentkezésre. Ez a remény azonban eleinte nem vált valóra, és számos pályázat (Lvivben és Poznanban) csalódást okozott számára. 1926-tól Varsóban dolgozott logikai előadóként, és a következő időben számos tankönyvet és tudományos cikket írt. 1929-ben feleségül vette Maria Witkowskát, akivel fia és lánya született. 1930-ban kapcsolatba került a Bécsi Körrel és Kurt Gödellel .

A második világháború kezdete katasztrofális hatással volt a lengyel logikára. A tudományos intézmények közötti struktúrák megsemmisültek, és a zsidók üldözése több logikus, filozófus és matematikus életébe került. Tarski, aki inkább lengyelnek, mint zsidónak érezte magát, nem volt tisztában a helyzet súlyosságával, és csak szűken megúszta azt a sorsot, amelynek zsidó kollégái közül sokan áldozatul estek. 1939 augusztusában meghívót kapott az Egyesült Államokban a Tudomány Egysége konferenciára, és szilárd meggyőződéssel, hogy csak két hétig lesz távol, feleségét és gyermekeit Varsóban hagyta, Lengyelországot pedig az utolsó hajón hagyta, még mielőtt törvényes volt útvonal többet adott az ország elhagyására. Janina Hosiasson-Lindenbaum (1899–1942) logikus ugyanezen a konferencián akart részt venni és a következő hajóval Észak-Amerikába utazni, de nem kapták meg a vízumot. Férjét, Adolf Lindenbaumot 1941- ben a vilniusi gettóban meggyilkolták. Tarski felesége és gyermekei túlélték a lengyelországi háborút, de számos más rokon életét vesztette a holokauszt során . A háború után Tarski Kaliforniában maradt, újra összeállt családjával és logikai iskolát épített Berkeley-ben.

Tarski 1968

Tudományos eredmények

Tarski már 1930-ban kifejlesztett egy olyan képletet, amely majdnem megfelelt Kurt Gödel 1931-es hiányosság -mondatának .

Munkája új megközelítéseket tartalmazott a döntési problémák kezelésében, az algebra és a geometria axiomatizálásában , valamint a logika és a metamatematika algebraizálásában . A logikai következtetés koncepciójáról szóló munkája (1935) megalapozta a modellelméletet ; az ott megadott következtetés meghatározása ma a matematikában vitathatatlan, és a matematikai logika meghatározásának alapjául szolgál . Filozófiailag Tarski igazságfelfogása különösen nagy hatással volt (vö. Az igazság szemantikai elmélete ). Különösen igazságfelfogása befolyásolta Donald Davidson amerikai filozófust .

Kitüntetések

A Tarski Előadások a University of California, Berkeley vannak tartott a tiszteletére, és szintén fontos díjat a matematikai logikával.

1954-ben adta plenáris előadás a Nemzetközi Matematikai Kongresszus (ICM) a Amszterdam ( Matematika és metamatematika ), 1962-ben meghívott előadó az ICM Stockholm ( bizonytalanságának elemi elmélete kommutatív félcsoportok ), és 1950-ben Cambridge (Massachusetts) ( Néhány fogalom és módszer az algebra és a metamatematika határterületén ).

Tagságok

Tarskit 1948-ban az Amerikai Művészeti és Tudományos Akadémiára , 1965-ben a Nemzeti Tudományos Akadémiára , 1966-ban a Brit Akadémiára választották .

kitüntetések és kitüntetések

• 2000 névadója a Tarski aszteroidának (13672)

Különféle mondatokat és matematikai kifejezéseket neveznek el róla.

Lásd még

• Banach-Tarski paradoxon
• Tarski csoport
• Tarski végessége

Művek

• Az igazság fogalma a formalizált nyelvekben . In: Studia Philosophica . [Lemberg] 1 (1936), 261–405. Oldal (1935-ös előprint). A cikk az 1933-ban először kinyomtatott, de már 1931-ben a nyilvánosság elé tárt lengyel mű német fordítása. Reprint in Karel Berka, Lothar Kreiser (szerk.): Logikai szövegek. Jegyzetelt válogatás a modern logika történetéről . Akademie-Verlag, Berlin 1983, 445-546. O., Angol nyelven Tarski-ban: Logika, szemantika és metamatematika - Alfred Tarski 1923 és 1938 közötti írásai. Oxford 1956, 1983.
• A logikai következtetés fogalmáról. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Párizs 1935. évf. VII: Logique . Hermann, Párizs, 1936, 1–11.
• A tudományos szemantika megalapozása. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Párizs 1935. évf. III: Nyelv és álproblémák. Hermann, Párizs, 1936, 1–8.
• Az igazság szemantikai felfogása és a szemantika alapjai . In: Filozófia és fenomenológiai kutatások. IV, 3 (1944), 341-375. (Német gyakorlatok: Gunnar Skirbekk (Hrsg.): Igazságelméletek . Válogatás a 20. századi igazságról szóló vitákból. Frankfurt am Main 1977, 140–188.)
• Bevezetés a matematikai logikába és a matematika módszertanába . Springer, Bécs, 1937.
• Bevezetés a matematikai logikába . fordította Erhard Scheibe (a szerző kiegészítéseivel az angol és a francia kiadásban) 2., átdolgozva. Kiadás. Vandenhoeck & Ruprecht, Göttingen 1966. (= Modern matematika az elemi ábrázolásban. 5.) (5. kiadás. 1977, ISBN 3-525-40540-5 . ("Igazság és bizonyítás" függelékkel))
• A Andrzej Mostowski és Raphael M. Robinson : eldönthetetlen elméletek . North-Holland Publ., Amszterdam, 1953. (= Logikai tanulmányok és a matematika alapjai.)
• Steven R. Givant, RN McKenzie (szerk.): Összegyűjtött papírok. 4 kötet, Birkhäuser, Basel / Boston 1986, ISBN 3-7643-3284-0 .

irodalom

• Jürgen Alex: A számítógép eredetéről - Alfred Tarskitól Konrad Zuseig - Az Alfred Tarski matematikai logika elemi tételeinek hatásáról Konrad Zuse - Tertium non datur - három számítógépes koncepciójának fejlődésére . VDI-Verlag, Düsseldorf 2007, ISBN 978-3-18-150051-4 .
• Anita Burdman Feferman, Salamon Feferman : Alfred Tarski. Élet és logika . Cambridge University Press, Cambridge et al. 2004, ISBN 0-521-80240-7 .
• Steven Givant: Egyesítő szálak Alfred Tarski munkájában . In: Matematikai intelligencia . 1999, 1. sz.
• Steven Givant: Alfred Tarski bibliográfiája . In: The Journal of Symbolic Logic . 51/4, 1986, 913–941.
• Reinhard Kamitz (filozófus) : Alfred Tarski: Az igazság szemantikai felfogása. , in: Josef Speck (Szerk.): A modern kor filozófiája. VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. - Göttingen, Vandenhoeck és Ruprecht 1992 (UTB; 1654), ISBN 3-525-03319-2 , 9-66.

web Linkek

• Tarski Alfred irodalma és róla a Német Nemzeti Könyvtár katalógusában
• Mario Gómez-Torrente:  Bejegyzés az Edward N. Zalta-ban (Szerk.): Stanford Encyclopedia of Philosophy .Sablon: SEP / Karbantartás / 1. és 3. paraméter, és nem a 2. paraméter
• Wilfrid Hodges:  Tarski igazságmeghatározásai. In: Edward N. Zalta (Szerk.): Stanford Encyclopedia of Philosophy .
• John J. O'Connor, Edmund F. Robertson :  Alfred Tarski. In: MacTutor matematikatörténeti archívum .

Egyéni bizonyíték

1. ↑ szerint Anita Burdman Feferman, Salamon Feferman Alfred Tarski - Élet és logikai , Cambridge University Press, 2004, 37. o., Mind a nevét űrlapok megtalálhatók a varsói archívumban (Tajtelbaum a lengyel helyesírás, Teitelbaum német azonos kiejtése ). Első publikációi Tajtelbaum néven jelentek meg. A "Tajtelbaum" jiddis a "datolyafa , datolyapálma" kifejezésre.
2. ↑ Publikáció: O wyrazie pierwotnym logistyki. In: Przeglad Filozoficzny 26 (1923), 68–89. engl. Fordítás: logika, szemantika, metamatematika . Papírok 1923 és 1938 között, Clarendon, Oxford 1956, 2. A. Hackett, Indianapolis 1983, 1-23. Szintén: A logisztika primitív kifejezésén. In: Jan TJ Srzednicki, Zbigniew Stachniak (szerk.): Leśniewski rendszerei prototetikusak. Kluwer, Dordrect 1998, 43-68.
3. ↑ Ellentmondásos döntésben Leon Chwistek vette át az elnököt
4. ↑ Tagok könyve 1780 - jelen, T. fejezet (PDF; 432 kB) In: amacad.org. American Academy of Arts and Sciences , elérhető március 6, 2018 . 
5. ^ Társak: Alfred Tarski. British Academy, hozzáférés: 2020. augusztus 5 . 
6. ↑ vö. En: Alfred Tarski nevét viselő dolgok listája
7. ^ A Tarski-ban újranyomtatott irodalmi információk: Logika, szemantika és metamatematika. Oxford 1956. Először Lukasiewicz mutatta be a Varsói Tudományos Társaságnak 1931. március 21-én, majd a Bécsi Tudományos Akadémiának 1932. január 21-én; a nyomtatás késett.