Alfred Tarski

Alfred Tarski i Berkeley

Alfred Tarski eller oprindeligt Alfred Tajtelbaum eller Teitelbaum (født 14. januar 1901 (ifølge andre kilder: 1902 ) i Warszawa ; † 26. oktober 1983 i Berkeley , USA ) var en polsk-amerikansk matematiker og logiker . Alfred Tarski bidrog med fundamentale bidrag til både formelle videnskaber og til formel sandhedsteori ( konvention T ) og er en af ​​de vigtigste repræsentanter for Lemberg-Warszawa-skolen før Anden Verdenskrig .

Liv

Alfred Tarski blev født under navnet Tajtelbaum til en velhavende jødisk familie i Warszawa. Han voksede op i Warszawa og tilmeldte sig i 1918 som studerende ved det lokale universitet . Hans oprindelige hensigt var at studere biologi, men under indflydelse af Jan Łukasiewicz , Stanisław Leśniewski og Wacław Sierpiński skiftede han til matematik. Hans doktorafhandling, indsendt i 1923, afsluttede han under vejledning af Leśniewski; han fik sin doktorgrad i 1926 . I 1923 ændrede han og hans bror Wacław sit efternavn til det polsk-lydende navn "Tarski" (hvis afslutning " -ski " antyder en nedstigning fra den historiske polske adel). De to brødre konverterede til katolicismen, den dominerende religion i Polen. Imidlertid var konverteringen kun et skridt på papiret; faktisk var Tarski en dygt ateist. Tarski påtog sig navneændringen og denominering, fordi han håbede, at dette ville forbedre hans chancer for at ansøge om en stol. Imidlertid blev dette håb ikke til virkelighed i starten, og flere ansøgninger (i Lviv og Poznan) var skuffende for ham. Fra 1926 arbejdede han i Warszawa som lektor i logik og skrev adskillige lærebøger og videnskabelige artikler i den følgende tid. I 1929 blev han gift med Maria Witkowska, med hvem han havde en søn og en datter. I 1930 kom han i kontakt med Vienna Circle og Kurt Gödel .

Begyndelsen af ​​2. verdenskrig havde katastrofale virkninger på den polske logik. Strukturer mellem videnskabelige institutioner blev ødelagt, og forfølgelsen af ​​jøderne kostede flere logikere, filosoffer og matematikere livet. Tarski, der følte sig mere som en polak end en jøde, var uvidende om situationens alvor og undgik kun snævert den skæbne, som mange af hans jødiske kolleger blev offer for. I august 1939 modtog han en invitation til Unity of Science- konferencen i USA, og overbevist om, at han kun ville være væk i to uger, efterlod han sin kone og børn i Warszawa og forlod Polen på det sidste skib, før der ikke var nogen lovlig rute gav mere at forlade landet. Den logiker Janina Hosiasson-Lindenbaum (1899-1942) ønskede at deltage i samme konferencen og tage den næste skib til Nordamerika, men blev nægtet visum. Hun og hendes mand Adolf Lindenbaum blev myrdet i Vilnius-ghettoen i 1941 . Tarskis kone og børn overlevede krigen i Polen, men adskillige andre slægtninge mistede deres liv i Holocaust . Efter krigen blev Tarski i Californien, genforenet med sin familie og byggede en logisk skole i Berkeley.

Tarski 1968

Videnskabelige præstationer

Allerede i 1930 udviklede Tarski en formel, der næsten svarede til Kurt Gödel's sætning om ufuldstændighed fra 1931.

Hans arbejde omfattede nye tilgange til behandling af beslutningsproblemer, aksiomatisering af algebra og geometri og algebraisering af logik og metamatematik . Hans arbejde med begrebet logisk konklusion (1935) etablerede modelteori ; definitionen af ​​den konklusion , der er givet der, er ubestridt i matematik i dag og tjener som grundlag for definitionen af matematisk logik . Filosofisk var Tarskis opfattelse af sandheden særlig indflydelsesrig (jf. Semantisk sandhedsteori ). Især hans opfattelse af sandheden påvirkede den amerikanske filosof Donald Davidson .

Ære

Tarski-forelæsningerne ved University of California, Berkeley afholdes til hans ære og er også en vigtig pris for matematiske logikere.

I 1954 holdt han en plenarforelæsning på den internationale kongres for matematikere (ICM) i Amsterdam ( matematik og metematematik ), i 1962 blev han inviteret taler ved ICM i Stockholm ( Undecidability of the elementary theory of commutative semigroups ) og i 1950 i Cambridge (Massachusetts) ( Nogle forestillinger og metoder på grænsen til algebra og metamatematik ).

Medlemskaber

Tarski blev valgt til American Academy of Arts and Sciences i 1948, National Academy of Sciences i 1965 og British Academy i 1966 .

hædersbevisninger og priser

• 2000 navnebror til asteroiden (13672) Tarski

En række sætninger og matematiske udtryk er opkaldt efter ham.

Se også

• Banach-Tarski paradoks
• Tarski gruppe
• Tarski finhed

Arbejder

• Begrebet sandhed på de formaliserede sprog . I: Studia Philosophica . [Lemberg] 1 (1936), s. 261–405 (fortrykt dateret 1935). Artiklen er en tysk oversættelse af det polske værk, der først blev trykt i 1933, men blev præsenteret for offentligheden allerede i 1931. Genoptryk i Karel Berka, Lothar Kreiser (red.): Logiske tekster. Kommenteret valg på historien om moderne logik . Akademie-Verlag, Berlin 1983, s. 445-546, på engelsk på Tarski: Logic, Semantics and Metamathematics - papirer fra 1923 til 1938 af Alfred Tarski. Oxford 1956, 1983.
• Om begrebet logisk slutning. I: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. bind. VII: Logique . Hermann, Paris 1936, s. 1–11.
• Grundlaget for videnskabelig semantik. I: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. bind. III: Sprog og pseudo-probèmes. Hermann, Paris 1936, s. 1–8.
• Den semantiske opfattelse af sandheden og fundamentet for semantik . I: Filosofi og fænomenologisk forskning. IV, 3 (1944), s. 341-375. (Tyske øvelser i: Gunnar Skirbekk (Hrsg.): Sandhedsteorier . Et udvalg fra diskussionerne om sandhed i det 20. århundrede. Frankfurt am Main 1977, s. 140–188.)
• Introduktion til matematisk logik og matematikens metode . Springer, Wien 1937.
• Introduktion til matematisk logik . oversat af Erhard Scheibe (med forfatterens tilføjelser i den engelske og franske udgave) 2. revideret. Udgave. Vandenhoeck & Ruprecht, Göttingen 1966. (= Moderne matematik i elementær repræsentation. 5.) (5. udgave. 1977, ISBN 3-525-40540-5 . (Med bilag "Sandhed og bevis"))
• med Andrzej Mostowski og Raphael M. Robinson : Undecidable theories . North-Holland Publ., Amsterdam 1953. (= Undersøgelser i logik og grundlaget for matematik.)
• Steven R. Givant, RN McKenzie (red.): Collected Papers. 4 bind, Birkhäuser, Basel / Boston 1986, ISBN 3-7643-3284-0 .

litteratur

• Jürgen Alex: Om computerens oprindelse - Fra Alfred Tarski til Konrad Zuse - Om indflydelsen af ​​elementære propositioner af matematisk logik i Alfred Tarski på udviklingen af ​​de tre computerbegreber i Konrad Zuse - Tertium non datur . VDI-Verlag, Düsseldorf 2007, ISBN 978-3-18-150051-4 .
• Anita Burdman Feferman, Solomon Feferman : Alfred Tarski. Liv og logik . Cambridge University Press, Cambridge et al. 2004, ISBN 0-521-80240-7 .
• Steven Givant: Samlende tråde i Alfred Tarskis arbejde . I: Matematisk intelligens . 1999, nr. 1.
• Steven Givant: Bibliografi af Alfred Tarski . I: Journal of Symbolic Logic . 51/4, 1986, s. 913-941.
• Reinhard Kamitz (filosof) : Alfred Tarski: Den semantiske opfattelse af sandheden. , i: Josef Speck (red.): Filosofi i den moderne tid. VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. - Göttingen, Vandenhoeck & Ruprecht 1992 (UTB; 1654), ISBN 3-525-03319-2 , s. 9-66.

Weblinks

• Litteratur af og om Alfred Tarski i kataloget over det tyske nationalbibliotek
• Mario Gómez-Torrente:  Adgang til Edward N. Zalta (red.): Stanford Encyclopedia of Philosophy .Skabelon: SEP / Vedligeholdelse / Parameter 1 og Parameter 3 og ikke Parameter 2
• Wilfrid Hodges:  Tarskis sandhedsdefinitioner. I: Edward N. Zalta (red.): Stanford Encyclopedia of Philosophy .
• John J. O'Connor, Edmund F. Robertson :  Alfred Tarski. I: MacTutor History of Mathematics arkiv .

Individuelle beviser

1. ↑ Ifølge Anita Burdman Feferman, Solomon Feferman Alfred Tarski - Life and Logic , Cambridge University Press, 2004, s. 37, kan begge navneformer findes i Warszawas arkiver (Tajtelbaum er den polske stavemåde, Teitelbaum den tyske med samme udtale ). Hans første publikationer var under navnet Tajtelbaum. "Tajtelbaum" er jiddisk for "dadeltræ , daddelpalme".
2. ↑ Publikation: O wyrazie pierwotnym logistyki. I: Przeglad Filozoficzny 26 (1923), s. 68-89; engl. Oversat til: Logik, semantik, metematematik . Papirer fra 1923 til 1938, Clarendon, Oxford 1956, 2. A. Hackett, Indianapolis 1983, s. 1-23. Også i: Om det primitive udtryk for logistik. I: Jan TJ Srzednicki, Zbigniew Stachniak (red.): Leśniewskis systemer prototetisk. Kluwer, Dordrect 1998, s. 43-68.
3. ↑ Der modtog Leon Chwistek i en kontroversiel beslutning formanden
4. ↑ Medlemsbog 1780 - nuværende, kapitel T. (PDF; 432 kB) I: amacad.org. American Academy of Arts and Sciences , adgang til 6. marts 2018 . 
5. ^ Fellows: Alfred Tarski. British Academy, adgang til 5. august 2020 . 
6. ↑ jf. Da: Liste over ting opkaldt efter Alfred Tarski
7. ^ Bibliografiske oplysninger genoptrykt i Tarski: Logik, semantik og metematematik. Oxford 1956. Først præsenteret for Warszawas videnskabelige samfund af Lukasiewicz den 21. marts 1931, derefter for Wieners videnskabsakademi den 21. januar 1932; udskrivningen blev forsinket.