Alfred Tarski

Alfred Tarski w Berkeley

Alfred Tarski lub pierwotnie Alfred Tajtelbaum lub Teitelbaum (ur . 14 stycznia 1901 (według innych źródeł: 1902 ) w Warszawie ; † 26 października 1983 w Berkeley , USA ) był polsko-amerykańskim matematykiem i logikiem . Alfred Tarski wniósł fundamentalny wkład zarówno w nauki formalne, jak i formalną teorię prawdy ( Konwencja T ) i jest jednym z głównych przedstawicieli Szkoły Lemberg-Warszawa przed II wojną światową .

Życie

Alfred Tarski urodził się pod nazwiskiem Tajtelbaum w zamożnej rodzinie żydowskiej w Warszawie. Wychował się w Warszawie i zapisał się w 1918 roku jako student tamtejszej uczelni . Jego pierwotnym zamiarem było studiowanie biologii, ale pod wpływem Jana Łukasiewicza , Stanisława Leśniewskiego i Wacława Sierpińskiego przeszedł na matematykę. Rozprawę doktorską, złożoną w 1923 r., Obronił pod kierunkiem Leśniewskiego; doktorat uzyskał w 1926 roku . W 1923 r. Wraz z bratem Wacławem zmienili nazwisko rodowe na polsko brzmiące nazwisko „Tarski” (którego końcówka „ -ski ” sugeruje pochodzenie z historycznej polskiej szlachty). Dwaj bracia przeszli na katolicyzm, dominującą religię w Polsce. Jednak konwersja była tylko krokiem na papierze; w rzeczywistości Tarski był zagorzałym ateistą. Tarski podjął się zmiany nazwiska i wyznania, ponieważ miał nadzieję, że zwiększy to jego szanse na ubieganie się o krzesło. Jednak ta nadzieja początkowo się nie spełniła i kilka zgłoszeń (we Lwowie i Poznaniu) było dla niego rozczarowaniem. Od 1926 r. Pracował w Warszawie jako wykładowca logiki, a następnie napisał kilka podręczników i prac naukowych. W 1929 roku ożenił się z Marią Witkowską, z którą miał syna i córkę. W 1930 r. Zetknął się z Kręgiem Wiedeńskim i Kurtem Gödelem .

Wybuch II wojny światowej miał katastrofalne skutki dla polskiej logiki. Struktury między instytucjami naukowymi zostały zniszczone, a prześladowania Żydów kosztowały życie kilku logików, filozofów i matematyków. Tarski, który czuł się bardziej Polakiem niż Żydem, nie zdawał sobie sprawy z powagi sytuacji i ledwo uniknął losu, którego ofiarą padło wielu jego żydowskich kolegów. W sierpniu 1939 r. Otrzymał zaproszenie na konferencję Unity of Science w USA i będąc głęboko przekonany, że wyjeżdża tylko na dwa tygodnie, zostawił żonę i dzieci w Warszawie i opuścił Polskę ostatnim statkiem, zanim nie było legalnej. trasa dawała więcej do opuszczenia kraju. Logik Janina Hosiasson-Lindenbaum (1899–1942) chciała uczestniczyć w tej samej konferencji i zabrać następny statek do Ameryki Północnej, ale odmówiono jej wizy. Ona i jej mąż Adolf Lindenbaum zostali zamordowani w getcie wileńskim w 1941 roku . Żona i dzieci Tarskiego przeżyły wojnę w Polsce, ale wielu innych krewnych straciło życie w Holokauście . Po wojnie Tarski pozostał w Kalifornii, ponownie połączył się z rodziną i zbudował szkołę logiki w Berkeley.

Tarski 1968

Osiągnięcia naukowe

Już w 1930 roku Tarski opracował formułę, która prawie odpowiadała zdaniu Kurta Gödla o niekompletności z 1931 roku.

Jego praca obejmowała nowe podejścia do rozwiązywania problemów decyzyjnych, aksjomatyzację algebry i geometrii oraz algebraizację logiki i metamatematyki . Jego praca „ O koncepcji logicznej konkluzji” (1935) ustanowiła teorię modeli ; Podana tam definicja wniosku jest dziś niekwestionowana w matematyce i służy jako podstawa definicji logiki matematycznej . Z filozoficznego punktu widzenia szczególny wpływ miała koncepcja prawdy Tarskiego (por. Semantyczna teoria prawdy ). W szczególności jego koncepcja prawdy wpłynęła na amerykańskiego filozofa Donalda Davidsona .

Korona

Wykłady Tarskiego na Uniwersytecie Kalifornijskim w Berkeley odbywają się na jego cześć i są również ważną nagrodą dla logików matematycznych.

W 1954 wygłosił wykład plenarny na International Congress of Mathematicians (ICM) w Amsterdamie ( Mathematics and Metamathematics ), w 1962 został zaproszony jako prelegent na ICM w Sztokholmie ( nierozstrzygalność elementarnej teorii półgrup przemiennych ) oraz w 1950 w Cambridge (Massachusetts) ( Niektóre pojęcia i metody z pogranicza algebry i metamatematyki ).

Członkostwa

Tarski został wybrany do American Academy of Arts and Sciences w 1948 r., National Academy of Sciences w 1965 r. I British Academy w 1966 r .

honory i nagrody

Jego imieniem nazwano różne zdania i terminy matematyczne.

Zobacz też

Pracuje

  • Pojęcie prawdy w językach sformalizowanych . W: Studia Philosophica . [Lemberg] 1 (1936), s. 261–405 (wydruk wstępny z 1935 r.). Artykuł jest niemieckim tłumaczeniem polskiej pracy wydrukowanej po raz pierwszy w 1933 r., Ale udostępnionej publiczności już w 1931 r. Przedruk w Karel Berka, Lothar Kreiser (red.): Teksty logiczne. Wybór z uwagami dotyczący historii współczesnej logiki . Akademie-Verlag, Berlin 1983, s. 445-546, w języku angielskim w Tarski: Logic, Semantics and Metamathematics - artykuły od 1923 do 1938 autorstwa Alfreda Tarskiego. Oxford 1956, 1983.
  • O koncepcji wnioskowania logicznego. W: Actes du Congrès international de filozofie scientifique, Sorbonne, Paryż 1935. vol. VII: Logique . Hermann, Paryż 1936, s. 1–11.
  • Podstawy semantyki naukowej. W: Actes du Congrès international de filozofie scientifique, Sorbonne, Paryż 1935. vol. III: Język et pseudo-probèmes. Hermann, Paris 1936, s. 1–8.
  • Semantyczna koncepcja prawdy i podstawy semantyki . W: Filozofia i badania fenomenologiczne. IV, 3 (1944), str. 341-375. (Ćwiczenia z języka niemieckiego w: Gunnar Skirbekk (Hrsg.): Teorie prawdy . Wybór z dyskusji o prawdzie w XX wieku. Frankfurt nad Menem 1977, s. 140–188).
  • Wprowadzenie do logiki matematycznej i metodologii matematyki . Springer, Wiedeń 1937.
  • Wprowadzenie do logiki matematycznej . przetłumaczone przez Erharda Scheibe (z dodatkami autora w wydaniu angielskim i francuskim) 2. poprawione. Wydanie. Vandenhoeck & Ruprecht, Göttingen 1966. (= Nowoczesna matematyka w reprezentacji elementarnej. 5.) (5. wydanie. 1977, ISBN 3-525-40540-5 . (Z dodatkiem „Prawda i dowód”))
  • z Andrzejem Mostowskim i Raphaelem M. Robinsonem : Teorie nierozstrzygalne . North-Holland Publ., Amsterdam 1953. (= Studia z logiki i podstaw matematyki.)
  • Steven R. Givant, RN McKenzie (red.): Zebrane dokumenty. 4 tomy, Birkhäuser, Bazylea / Boston 1986, ISBN 3-7643-3284-0 .

literatura

  • Jürgen Alex: O pochodzeniu komputera - Od Alfreda Tarskiego do Konrada Zuse - O wpływie elementarnych zdań logiki matematycznej Alfreda Tarskiego na rozwój trzech koncepcji komputerowych Konrada Zuse - Tertium non datur . VDI-Verlag, Düsseldorf 2007, ISBN 978-3-18-150051-4 .
  • Anita Burdman Feferman, Solomon Feferman : Alfred Tarski. Życie i logika . Cambridge University Press, Cambridge i in. 2004, ISBN 0-521-80240-7 .
  • Steven Givant: Łączenie wątków w twórczości Alfreda Tarskiego . W: Mathematical Intelligencer . 1999, nr 1.
  • Steven Givant: Bibliografia Alfreda Tarskiego . W: The Journal of Symbolic Logic . 51/4, 1986, str. 913-941.
  • Reinhard Kamitz (filozof) : Alfred Tarski: Semantyczna koncepcja prawdy. , w: Josef Speck (red.): Philosophy of the Modern Age. VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. - Göttingen, Vandenhoeck & Ruprecht 1992 (UTB; 1654), ISBN 3-525-03319-2 , s. 9-66.

linki internetowe

Commons : Alfred Tarski  - zbiór zdjęć, filmów i plików audio

Indywidualne dowody

  1. ↑ Według Anity Burdman Feferman, Solomon Feferman Alfred Tarski - Life and Logic , Cambridge University Press, 2004, s. 37, obie formy nazw można znaleźć w archiwach warszawskich (Tajtelbaum to polska pisownia, Teitelbaum niemiecki o tej samej wymowie ). Jego pierwsze publikacje nosiły nazwę Tajtelbaum. „Tajtelbaum” w jidysz oznacza „drzewo daktylowe, palma daktylowa”.
  2. ↑ Publikacja: O wyrazie pierwotnym logistyki. W: Przeglad Filozoficzny 26 (1923), s. 68-89; ang. Przetłumaczone na: Logika, Semantyka, Metamathematics . Artykuły od 1923 do 1938, Clarendon, Oxford 1956, 2. A. Hackett, Indianapolis 1983, s. 1–23. Także w: Na prymitywnym terminie logistyki. W: Jan TJ Srzednicki, Zbigniew Stachniak (red.): Leśniewski's systems protothetic. Kluwer, Dordrect 1998, str. 43-68.
  3. ↑ Tam, w kontrowersyjnej decyzji, katedrę otrzymał Leon Chwistek
  4. ↑ Księga członków 1780 - obecnie, rozdział T. (PDF; 432 kB) W: amacad.org. American Academy of Arts and Sciences , dostęp 6 marca 2018 .
  5. ^ Stypendyści: Alfred Tarski. British Academy, dostęp 5 sierpnia 2020 .
  6. ↑ cf. en: Lista rzeczy nazwanych imieniem Alfreda Tarskiego
  7. ^ Informacje bibliograficzne przedrukowano w Tarski: Logic, Semantics and Metamathematics. Oxford 1956. Po raz pierwszy przedstawiony Towarzystwu Naukowemu Warszawskiemu przez Łukasiewicza 21 marca 1931 r., A następnie wiedeńskiej Akademii Nauk 21 stycznia 1932 r .; drukowanie było opóźnione.
dane osobiste
NAZWISKO Tarski, Alfred
ALTERNATYWNE NAZWY Teitelbaum, Alfred (nazwisko panieńskie)
KRÓTKI OPIS Polski matematyk i logik
DATA URODZENIA 14 stycznia 1901 lub 14 stycznia 1902
MIEJSCE URODZENIA Warszawa
DATA ZGONU 26 października 1983
Miejsce śmierci Berkeley w Kalifornii