Ähnliche Themen
    Suchen
     
     

    Ergebnisse in:
     


    Rechercher Fortgeschrittene Suche

    Die neuesten Themen
    » Die Heimatschutzarchitektur
    Heute um 12:05 am von checker

    » Erwin Anton Gutkind
    Gestern um 11:59 pm von checker

    » Die Gottbegnadeten-Liste
    Gestern um 11:52 pm von checker

    » Das Neue Bauen
    Gestern um 11:38 pm von checker

    » Friedrich Ernst Dorn
    Mo Okt 16, 2017 9:17 am von Andy

    » **** Platin ****
    Mo Okt 16, 2017 9:11 am von Andy

    » Der Aufruf der Kulturschaffenden
    Mo Okt 16, 2017 9:02 am von Andy

    » Harry Rosenthal
    Mo Okt 16, 2017 8:54 am von Andy

    »  BASF-Rückruf - Krebserregender Stoff in Matratzen gelandet?
    Fr Okt 13, 2017 9:51 pm von checker

    Navigation
     Portal
     Index
     Mitglieder
     Profil
     FAQ
     Suchen
    Partner
    free forum
    Oktober 2017
    MoDiMiDoFrSaSo
          1
    2345678
    9101112131415
    16171819202122
    23242526272829
    3031     

    Kalender Kalender


    Alfred Tarski

    Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach unten

    Alfred Tarski

    Beitrag  checker am So Aug 30, 2015 7:45 am

    Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum[1] (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie formaler Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg.



    Leben

    Alfred Tarski wurde unter dem Namen Tajtelbaum in einer wohlhabenden jüdischen Familie in Warschau geboren. Er wuchs in Warschau auf und schrieb sich 1918 als Student an der dortigen Universität ein. Ursprünglich hatte er die Absicht, Biologie zu studieren, jedoch wechselte er unter dem Einfluss von Jan Łukasiewicz, Stanisław Leśniewski und Wacław Sierpiński zur Mathematik. Seine 1923 eingereichte Doktorarbeit fertigte er unter der Aufsicht von Leśniewski an; er wurde 1926 promoviert.[2] 1923 änderte er gemeinsam mit seinem Bruder Wacław seinen Familiennamen in den polnischer klingenden Namen „Tarski“ (dessen Endung „-ski“ eine Abstammung vom historischen polnischen Adel nahelegt).
    Die beiden Brüder konvertierten zum Katholizismus, der dominierenden Religion Polens. Die Konversion war jedoch nur ein Schritt auf dem Papier, tatsächlich war Tarski überzeugter Atheist. Tarski nahm die Namensänderung und den Konfessionswechsel auf sich, weil er sich so bessere Chancen bei der Bewerbung auf einen Lehrstuhl versprach. Diese Hoffnung ging jedoch zunächst nicht in Erfüllung und mehrere Bewerbungen (in Lemberg[3] und Posen) verliefen für ihn enttäuschend. Ab 1926 wirkte er in Warschau als Dozent für Logik und verfasste in der folgenden Zeit mehrere Lehrbücher und wissenschaftliche Arbeiten. 1929 heiratete er Maria Witkowska, mit der er einen Sohn und eine Tochter hatte. 1930 kam er mit dem Wiener Kreis und Kurt Gödel in Berührung.

    Der hereinbrechende Zweite Weltkrieg hatte katastrophale Auswirkungen für die polnische Logik. Strukturen zwischen wissenschaftlichen Institutionen wurden zerstört und die Judenverfolgung kostete mehrere Logiker, Philosophen und Mathematiker das Leben. Tarski, der sich weit mehr als Pole denn als Jude fühlte, war sich des Ernstes der Lage nicht bewusst und entkam nur sehr knapp dem Schicksal, dem viele seiner jüdischen Kollegen zum Opfer fielen. Im August 1939 erhielt er eine Einladung zur Unity of Science-Tagung in den USA und in der festen Überzeugung, nur zwei Wochen weg zu sein, ließ er Frau und Kinder in Warschau zurück und verließ Polen mit dem letzten Schiff, bevor es keinen legalen Weg mehr gab, das Land zu verlassen. Die Logikerin Janina Hosiasson-Lindenbaum (1899–1942) wollte an derselben Konferenz teilnehmen und mit dem nächsten Schiff nach Nordamerika aufbrechen, aber ihr wurde das Visum verwehrt. Sie und ihr Mann Adolf Lindenbaum wurden 1941 im Ghetto in Vilnius ermordet. Die Frau und Kinder von Tarski überlebten den Krieg in Polen, zahlreiche weitere Verwandte verloren jedoch im Holocaust ihr Leben. Nach dem Krieg blieb Tarski, wieder vereint mit seiner Familie, in Kalifornien und baute in Berkeley eine Schule für Logik auf.

    Bereits 1930 entwickelte Tarski eine Formel, die dem Unvollständigkeitssatz Kurt Gödels aus dem Jahr 1931 fast entsprach.

    Seine Arbeiten umfassten neue Ansätze in der Behandlung von Entscheidungproblemen, der Axiomatisierung von Algebra und Geometrie sowie in der Algebraisierung von Logik und Metamathematik. Seine Arbeiten wirken insbesondere in der Modelltheorie und in der analytischen Sprachphilosophie bis heute nach. Philosophisch war besonders Tarskis Konzeption der Wahrheit einflussreich (vgl. Konvention T). Insbesondere hat seine Wahrheitsauffassung den US-amerikanischen Philosophen Donald Davidson beeinflusst.

    Zu seinen Ehren werden die Tarski Lectures an der University of California, Berkeley gehalten, die gleichzeitig ein wichtiger Preis für mathematische Logiker sind.

    1954 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress (ICM) in Amsterdam (Mathematics and Metamathematics), 1962 war er Invited Speaker auf dem ICM in Stockholm (Undecidability of the elementary theory of commutative semigroups) und 1950 in Cambridge (Massachusetts) (Some notions and methods on the borderline of algebra and metamathematics).

    Siehe auch

    Banach-Tarski-Paradoxon
    Tarski-Endlichkeit

    Werke

    Der Wahrheitsbegriff in den formalisierten Sprachen. In: Studia Philosophica. [Lemberg] 1 (1936), S. 261–405 (Vorabdruck datiert 1935).[4] Der Artikel ist eine deutsche Übersetzung der erstmals 1933 gedruckten polnischen Arbeit, die aber schon 1931 der Öffentlichkeit präsentiert wurde. Nachdruck in Karel Berka, Lothar Kreiser (Hrsg.): Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Akademie-Verlag, Berlin 1983, S. 445–546, in englischer Sprache in Tarski: Logic, Semantics and Metamathematics - papers from 1923 to 1938 by Alfred Tarski. Oxford 1956, 1983.
    Über den Begriff der logischen Folgerung. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. vol. VII: Logique. Hermann, Paris 1936, S. 1–11.
    Grundlegung der wissenschaftlichen Semantik. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. vol. III: Language et pseudo-problèmes. Hermann, Paris 1936, S. 1–8.
    The Semantic Conception of Truth and the Foundations of Semantics. In: Philosophy and Phenomenological Research. IV,3 (1944), S. 341–375. (Deutsche Übs. in: Gunnar Skirbekk (Hrsg.): Wahrheitstheorien. Eine Auswahl aus den Diskussionen über Wahrheit im 20. Jahrhundert. Frankfurt am Main 1977, S. 140–188.)
    Einführung in die Mathematische Logik und in die Methodologie der Mathematik. Springer, Wien 1937.
    Einführung in die mathematische Logik. übersetzt von Erhard Scheibe (mit den Ergänzungen des Verfassers in der englischen und französischen Ausgabe) 2., neubearb. Auflage. Vandenhoeck & Ruprecht, Göttingen 1966. (= Moderne Mathematik in elementarer Darstellung. 5.) (5. Auflage. 1977, ISBN 3-525-40540-5. (mit Anhang "Wahrheit und Beweis"))
    mit Andrzej Mostowski und Raphael M. Robinson: Undecidable theories. North-Holland Publ., Amsterdam 1953. (= Studies in logic and the foundations of mathematics.)
    Steven R. Givant, R. N. McKenzie (Hrsg.): Collected Papers. 4 Bände, Birkhäuser, Basel/ Boston 1986, ISBN

    Quelle - Literatur & Einzelnachweise
    avatar
    checker
    Moderator
    Moderator

    Anzahl der Beiträge : 32513
    Anmeldedatum : 03.04.11
    Ort : Braunschweig

    Benutzerprofil anzeigen

    Nach oben Nach unten

    Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach oben

    - Ähnliche Themen

     
    Befugnisse in diesem Forum
    Sie können in diesem Forum nicht antworten