Alfred Tarski
{{#if: Tarski
| Vorlage:Hinweisbaustein | {{#ifeq: 0 | 0 | }}}}
Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum<ref>Nach Anita Burdman Feferman, Solomon Feferman Alfred Tarski – Life and Logic, Cambridge University Press, 2004, S. 37, finden sich beide Namensformen in den Warschauer Archiven (Tajtelbaum ist die polnische Schreibweise, Teitelbaum die deutsche bei gleicher Aussprache). Seine ersten Veröffentlichungen erfolgten unter dem Namen Tajtelbaum. Tajtelbaum ist Jiddisch für „Dattelbaum, Dattelpalme“.</ref> (geboren am 14. Januar 1901 (nach anderen Quellen 1902) in Warschau; gestorben am 26. Oktober 1983 in Berkeley, USA) war ein polnischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und war 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.<ref>Publikation: O wyrazie pierwotnym logistyki. In: Przeglad Filozoficzny 26 (1923), S. 68–89; engl. Übers. in: Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Clarendon, Oxford 1956, 2. A. Hackett, Indianapolis 1983, S. 1–23. Auch in: On the primitive term of logistic. In: Jan T. J. Srzednicki, Zbigniew Stachniak (Hrsg.): Leśniewski's systems protothetic. Kluwer, Dordrect 1998, S. 43–68.</ref> 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, da 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<ref>Dort erhielt in einer kontroversen Entscheidung Leon Chwistek den Lehrstuhl.</ref> 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 fort 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, doch ihr wurde das Visum verwehrt. Sie und ihr Mann Adolf Lindenbaum wurden 1941 im Ghetto in Vilnius ermordet. 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.
Wissenschaftliche Leistungen
Bereits 1930 entwickelte Tarski eine Formel, die dem Unvollständigkeitssatz Kurt Gödels aus dem Jahr 1931 fast entsprach (1931 hielt Tarski vor der Wissenschaftlichen Gesellschaft Warschaus einen Vortrag über den Wahrheitsbegriff, so die Abhängigkeit der formal korrekten Definition eines „wahren Satzes“ von der Sprache, führte exemplarisch ein Lügenparadox vor („‚Dies ist ein falscher Satz‘ ist ein wahrer Satz, wenn und nur wenn es ein falscher Satz ist“) und schlug eine Definition für formalisierte Sprachen wie die Logik oder die Mathematik vor<ref>George A. Miller: Wörter. Streifzüge durch die Psycholinguistik. Herausgegeben und aus dem Amerikanischen übersetzt von Joachim Grabowski und Christiane Fellbaum. Spektrum der Wissenschaft, Heidelberg 1993; Lizenzausgabe: Zweitausendeins, Frankfurt am Main 1995; 2. Auflage ebenda 1996, ISBN 3-86150-115-5, S. 175 und 303.</ref>). 1936 formulierte Tarski einen Satz über die Undefinierbarkeit der Wahrheit, der sagt, dass jede hinreichend mächtige formale Sprache inhärent dadurch beschränkt ist, dass der Wahrheitsbegriff in ihr nicht mit ihren eigenen Ausdrucksmitteln definiert werden kann.
Seine Arbeiten umfassten neue Ansätze in der Behandlung von Entscheidungsproblemen, der Axiomatisierung von Algebra und Geometrie sowie in der Algebraisierung von Logik und Metamathematik. Seine Arbeit Über den Begriff der logischen Folgerung (1935) begründete die Modelltheorie; die dort angegebene Definition der Folgerung ist heute in der Mathematik unstrittig und dient als Basis zur Definition mathematischer Logiken. Philosophisch war besonders Tarskis Konzeption der Wahrheit einflussreich (vgl. Semantische Theorie der Wahrheit). Insbesondere hat seine Wahrheitsauffassung den US-amerikanischen Philosophen Donald Davidson beeinflusst.
Ehrungen
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).
Mitgliedschaften
1948 wurde Tarski in die American Academy of Arts and Sciences gewählt,<ref>Vorlage:Amacad</ref> 1958 in die Königlich Niederländische Akademie der Wissenschaften,<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Past Members: Alfred Tarski|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Past Members: Alfred Tarski}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Past Members: Alfred Tarski}}}}|[{{#invoke:URLutil|getNormalized|1=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Past Members: Alfred Tarski}}}}]}}{{#if:| ({{{format}}}{{#if:Königlich Niederländische Akademie der Wissenschaften{{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:de|de||{{#if:|1}}}}mit Link zur Biografie, niederländisch| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}}%7C%7C}}}}{{#if:Past Members: Alfred Tarski|{{#if:{{#invoke:WLink|isValidLinktext|1=Past Members: Alfred Tarski|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: Königlich Niederländische Akademie der Wissenschaften| Königlich Niederländische Akademie der Wissenschaften{{#if: |,|{{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
|{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:Königlich Niederländische Akademie der Wissenschaften|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:86959||(?)}}}}}}{{#if: 2023-07-23|;}}}}{{#if: 2023-07-23| {{#if:Königlich Niederländische Akademie der Wissenschaften{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-07-23 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-07-23|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-07-23|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}mit Link zur Biografie, niederländisch|{{#if:Königlich Niederländische Akademie der Wissenschaften{{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:de|de|de}}|de||
{{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: mit Link zur Biografie, niederländisch|{{#ifeq:{{#if:de|de|de}}|de||, }}mit Link zur Biografie, niederländisch}})}}{{#if: {{#if: 2023-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}mit Link zur Biografie, niederländisch|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00003268 }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> 1965 in die National Academy of Sciences und 1966 in die British Academy.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Fellows: Alfred Tarski|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Fellows: Alfred Tarski}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Fellows: Alfred Tarski}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Fellows: Alfred Tarski}}}}]}}{{#if:| ({{{format}}}{{#if:British Academy{{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}}%7C%7C}}}}{{#if:Fellows: Alfred Tarski|{{#if:{{#invoke:WLink|isValidLinktext|1=Fellows: Alfred Tarski|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: British Academy| British Academy{{#if: |,|{{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
|{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:British Academy|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:86959||(?)}}}}}}{{#if: 2020-08-05|;}}}}{{#if: 2020-08-05| {{#if:British Academy{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2020-08-05 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2020-08-05|class=Zitationswartung}} }} {{#invoke:DateTime|format|2020-08-05|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:British Academy{{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:de|de|de}}|de||
{{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2020-08-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if: | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if: | [4] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://www.thebritishacademy.ac.uk/fellows/alfred-tarski-FBA/ }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>
Ehrungen und Auszeichnungen
Im Jahr 2000 war er Namensgeber für den Asteroiden (13672) Tarski. Eine Vielzahl von Sätzen und mathematischen Begriffen ist nach ihm benannt.<ref>vgl. en:List of things named after Alfred Tarski</ref>
Siehe auch
Veröffentlichungen (Auswahl)
- Der Wahrheitsbegriff in den formalisierten Sprachen. In: Studia Philosophica [Lemberg] 1 (1936), S. 261–405 (Vorabdruck datiert 1935).<ref>Bibliographische Angaben im englischen Nachdruck in Tarski: Logic, Semantics and Metamathematics. Oxford 1956. Erstmals am 21. März 1931 von Lukasiewicz der Warschauer Wissenschaftlichen Gesellschaft präsentiert, dann am 21. Januar 1932 der Wiener Akademie der Wissenschaft; die Drucklegung verzögerte sich aber.</ref> 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.)
- A lattice-theoretical fixpoint theorem and its applications. In: Pacific Journal of Mathematics. Band 5, 1955, S. 285–309 (projecteuclid.org).
- Steven R. Givant, R. N. McKenzie (Hrsg.): Collected Papers. 4 Bände, Birkhäuser, Basel/Boston 1986, ISBN 3-7643-3284-0.
Literatur
- Jürgen Alex: Zur Entstehung des Computers – Von Alfred Tarski zu Konrad Zuse – Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse – Tertium non datur. VDI-Verlag, Düsseldorf 2007, ISBN 978-3-18-150051-4.
- Anita Burdman Feferman, Solomon Feferman: Alfred Tarski. Life and Logic. Cambridge University Press, Cambridge u. a. 2004, ISBN 0-521-80240-7.
- Steven Givant: Unifying threads in Alfred Tarskis Work. In: Mathematical Intelligencer. 1999, Nr. 1.
- Steven Givant: Bibliography of Alfred Tarski. In: The Journal of Symbolic Logic. 51/4, 1986, S. 913–941.
- Reinhard Kamitz (Philosoph): Alfred Tarski: Die semantische Konzeption der Wahrheit. in: Josef Speck (Hrsg.): Philosophie der Neuzeit. VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. – Göttingen, Vandenhoeck & Ruprecht 1992 (UTB; 1654), ISBN 3-525-03319-2, S. 9–66.
Weblinks
|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:
| {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
|1/= und Videos
|1/1=, Videos und Audiodateien
|/1= und Audiodateien}}
| , Videos und Audiodateien
}}
|#default= – }}{{#if: Alfred Tarski
| {{#ifeq: {{#invoke:Str|left|alfred tarski|9}}
| category:
| FEHLER: Ohne Category: angeben!}}}}Vorlage:Wikidata-Registrierung
- }} Literatur von und über {{#invoke:WLink|getArticleBase}} im Katalog der {{#ifeq: Alfred Tarski | Deutsche Nationalbibliothek | DNB | Deutschen Nationalbibliothek}}{{#ifeq: 0 | 0
| {{#if:
| Vorlage:DNB-Portal – veraltete Parametrisierung 3=
}}
}}
- {{#if: Mario Gómez-Torrente | Mario Gómez-Torrente: }}{{#if: | . | Eintrag}} {{#if: | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: http://plato.stanford.edu/entries/tarski/ | {{#if: Mario Gómez-Torrente | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Mario Gómez-Torrente | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: | | 1 }} }}|}}
- {{#if: Wilfrid Hodges | Wilfrid Hodges: }}{{#if: Tarski's Truth Definitions | Tarski's Truth Definitions. | Eintrag}} {{#if: Tarski's Truth Definitions | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: http://plato.stanford.edu/entries/tarski-truth/ | {{#if: Tarski's Truth DefinitionsWilfrid Hodges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Wilfrid Hodges | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Tarski's Truth Definitions | | 1 }} }}|}}
- {{#if: |{{{author}}}: |John J. O’Connor, Edmund F. Robertson: }}[https://mathshistory.st-andrews.ac.uk/{{#switch:
| bio = Biographies | cur = Curves | ex = Extras | ht = HistTopics | misc = Miscellaneous | soc = Societies | #default = Biographies }}/Tarski/ Alfred Tarski.] In: {{#invoke:Vorlage:lang|flat}}{{#if: |, {{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}}} (englisch).
- {{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 13347 | {{#ifeq: {{#property:P549}} | 13347 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}
- Vorlage:Academictree
- Alfred Tarski in der Datenbank zbMATH
Einzelnachweise
<references />
{{#ifeq: p | p | | {{#if: 118620851n5000871888667191 | |
}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 118620851 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 118620851 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n50008718 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n50008718 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 88667191 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 88667191 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung
{{#if: Tarski, Alfred | {{#if: Teitelbaum, Alfred (Geburtsname) | {{#if: polnischer Mathematiker und Logiker | {{#if: 14. Januar 1901 oder 14. Januar 1902 | {{#if: Warschau | {{#if: 26. Oktober 1983 | {{#if: Berkeley (Kalifornien) || Personendaten | |
|---|---|
| NAME | Tarski, Alfred
}} |
| ALTERNATIVNAMEN | Teitelbaum, Alfred (Geburtsname)
}} |
| KURZBESCHREIBUNG | polnischer Mathematiker und Logiker
}} |
| GEBURTSDATUM | 14. Januar 1901 oder 14. Januar 1902
}} |
| GEBURTSORT | Warschau
}} |
| STERBEDATUM | 26. Oktober 1983
}} |
| STERBEORT | Berkeley (Kalifornien)
}} |
- Wikipedia:Vorlagenfehler/Mehrdeutigkeitshinweis
- Seiten mit defekten Dateilinks
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Parameter:Datum
- Wikipedia:Vorlagenfehler/Vorlage:"
- Wikipedia:Weblink offline fix-attempted
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link/URL fehlt
- Wikipedia:Vorlagenfehler/Schwesterprojekt
- Wikipedia:Vorlagenfehler/Vorlage:DNB-Portal/ohne GND
- Wikipedia:Vorlagenfehler/Vorlage:DNB-Portal
- Wikipedia:Wikidata P549 verschieden
- Wikipedia:Wikidata P549 fehlt
- Wikipedia:GND fehlt
- Wikipedia:Normdaten-TYP falsch oder fehlend
- Wikipedia:GND in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:GND in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:LCCN in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:LCCN in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:VIAF in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:VIAF in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Mathematischer Logiker (20. Jahrhundert)
- Logiker
- Wiener Kreis
- Mitglied der American Academy of Arts and Sciences
- Mitglied der National Academy of Sciences
- Mitglied der Königlich Niederländischen Akademie der Wissenschaften
- Mitglied der British Academy
- Person als Namensgeber für einen Asteroiden
- Pole
- Geboren im 20. Jahrhundert
- Gestorben 1983
- Mann