Gerhard Gentzen
Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Leben
Gerhard Gentzen studierte in Greifswald, Göttingen, München und Berlin und wurde 1933 an der Universität Göttingen promoviert. In Greifswald studierte er mit Hellmuth Kneser und in Berlin wahrscheinlich mit John von Neumann. Er war ein Schüler von Paul Bernays, nach Bernays’ Lehrverbot im April 1933 wurde offiziell Hermann Weyl sein Doktorvater.<ref name=":0" /> Um 1934 will Gentzen in die Sturmabteilung (SA) eingetreten sein;<ref>{{#invoke:Vorlage:Literatur|f}}</ref> 1935 erhielt er eine Assistentenstelle beim emeritierten David Hilbert. Am 13. Juni 1937 beantragte er die Aufnahme in die NSDAP und wurde rückwirkend zum 1. Mai desselben Jahres aufgenommen (Mitgliedsnummer 4.237.555).<ref name=":0">Bundesarchiv R 9361-IX KARTEI/10660245</ref> Bereits zuvor war er Mitglied des Nationalsozialistischen Lehrerbunds geworden.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Thomas Hummitzsch|Thomas Hummitzsch: }}{{#if:|{{#if:»Bestimmt kein Gentzen-Buch!«|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=»Bestimmt kein Gentzen-Buch!«}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=»Bestimmt kein Gentzen-Buch!«}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=»Bestimmt kein Gentzen-Buch!«}}}}]}}{{#if:| ({{{format}}}{{#if:intellectures2021-10-08{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:de|de||{{#if:de|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}}%7C%7C}}}}{{#if:»Bestimmt kein Gentzen-Buch!«|{{#if:{{#invoke:WLink|isValidLinktext|1=»Bestimmt kein Gentzen-Buch!«|lines=0}}||}}}}{{#if: intellectures| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=intellectures}}}}{{#if: | {{{hrsg}}}{{#if: 2021-10-08|,|{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 2021-10-08| {{#if:{{#invoke:DateTime|format|2021-10-08|noerror=1}}
|{{#invoke:DateTime|format|2021-10-08|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2021-10-08|class=Zitationswartung}} }}{{#if: |,|{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2021-10-08|{{#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:198071||(?)}}}}}}{{#if: 2024-11-16|;}}}}{{#if: 2024-11-16| {{#if:2021-10-08{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2024-11-16 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2024-11-16|class=Zitationswartung}} }} {{#invoke:DateTime|format|2024-11-16|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:de|1}}}}|{{#if:intellectures2021-10-08{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:de|de|de}}|de||
{{#invoke:Multilingual|format|de|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2021-10-08{{#if: 2024-11-16 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}de|{{#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.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#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://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}} || {{#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.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ 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.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#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://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}} || {{#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.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ 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.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ | {{#if:{{#invoke:URLutil|isWebURL|https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://www.intellectures.de/2021/10/08/bestimmt-kein-gentzen-buch/ }} }}}}}}}}}}{{#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>
Gentzen wurde 1939 bis 1941 im Krieg als Funker bei Braunschweig eingesetzt, erkrankte aber und wurde daraufhin vom Wehrdienst freigestellt. 1940 habilitierte er sich in Göttingen. 1943 wurde Gentzen von Hans Rohrbach auf eine Dozentur an die deutsche Universität in Prag berufen. Neben der Dozententätigkeit und der Forschung an der Widerspruchsfreiheit der Mathematik leitete Gentzen in Prag eine Gruppe von Oberschülerinnen, die Berechnungen durchführten.<ref>Wohl für ballistische Studien zur so genannten Vergeltungswaffe 2 für Werner Osenberg. Zumindest war dies die offizielle Begründung, vergl. Eckart Menzler-Trott: Gentzens Problem.</ref> Trotz Warnungen<ref>Pinl: Kollegen in einer dunklen Zeit. In: Jahresbericht DMV. 1976, Pinl selbst warnte ihn</ref> floh Gentzen bei Kriegsende nicht nach Deutschland. Er starb am 4. August 1945 im Kreisgefängnis am Karlsplatz in Prag an Unterernährung<ref>Offiziell an Kreislaufversagen. Laut Berichten des Mithäftlings Franz Krammer gab es eine Eiweißsperre und der gesundheitlich angeschlagene Gentzen verhungerte. Hinzu kam, dass er nicht arbeiten konnte (wofür es Extrarationen gab), nachdem eine Frau ihm mit einem Steinwurf zwei Finger zerschmettert hatte, als die Häftlinge wie üblich tagsüber in Prag zur Zwangsarbeit waren. Vgl. Sanford L. Segal: Mathematicians under the Nazis. Princeton University Press 2003, S. 470.</ref> – drei Monate nach seiner Verhaftung.
Mathematische Leistungen
Gentzen ist ein wichtiger Mitbegründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in wichtigen Teilgebieten der Informatik, der Verifikation von Programmen. Dabei werden formale Beweise selbst als Programme gedeutet.
Gentzen war einer der führenden Köpfe<ref>Neben Hermann Weyl, Adolf Fraenkel, Kurt Gödel, Alan Turing, Jacques Herbrand, John von Neumann, Alonzo Church, Albert Thoralf Skolem der Lemberg-Warschau-Schule und anderen.</ref> der international arbeitenden mathematischen Grundlagenforschung und stellte 1936 und 1938 jeweils den Stand der Grundlagenforschung dar. Die zweite Arbeit hatte durch Heinrich Scholz eine Zweitveröffentlichung in der nationalsozialistischen Zeitschrift Deutsche Mathematik.<ref>Walter Tydecks, Neuere Geschichte der Mathematik in Deutschland rezensiert wurde dieser Artikel übrigens in derselben Zeitschrift in englischer Sprache von dem amerikanischen Logiker Haskell Brooks Curry.</ref>
Ausgehend von dem Hilbertschen Programm bewies Gentzen für den Aufbau der Mathematik die Widerspruchsfreiheit der Zahlentheorie. Er entwickelte als einer der ersten Systeme natürlichen Schließens und Sequenzenkalküle (allgemein auch Gentzentypkalkül), für die er den so genannten „Hauptsatz“ bewies. Dadurch sind große Teile der Logik und Mathematik als widerspruchsfrei beweisbar.
Zitate
{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@-
| {{#if:trim|Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern.}}
| {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@
| {{#ifeq: de | de
| „{{#if:trim|Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern.}}“
| {{#invoke:Text|quoteUnquoted| Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern. | {{{lang}}} }} }}
| {{#ifeq: {{#if:|{{{vor}}}|-}} | -
| „
| {{{vor}}} }}{{#if:trim|Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern.}}{{
#ifeq: {{#if:|{{{nach}}}|-}} | -
| “
| {{{nach}}} }} }} }}{{
#if: Gerhard Gentzen, in: Deutsche Mathematik 1938, S. 260<ref>Walter Tydecks, Neuere Geschichte der Mathematik in Deutschland</ref> || }}
{{#if:
|
„{{{Latn}}}“{{#if: Gerhard Gentzen, in: Deutsche Mathematik 1938, S. 260<ref>Walter Tydecks, Neuere Geschichte der Mathematik in Deutschland</ref> || }}
}}{{#if:
|
„{{{de}}}“{{#if: Gerhard Gentzen, in: Deutsche Mathematik 1938, S. 260<ref>Walter Tydecks, Neuere Geschichte der Mathematik in Deutschland</ref> || }}
}}|{{#if:
|}}}}
{{#if: |
{{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| }} }}{{#if: Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern. | {{
#if: | {{#if: Man kann es auch so ausdrücken, dass sich für die Zahlentheorie kein ein für allemal ausreichendes System von Schlußweisen angeben lässt, sondern dass vielmehr immer wieder Sätze gefunden werden können, deren Beweise neuartige Schlußweisen erfordern. |
Vorlage:Zitat: Doppelangabe 1=Text=}}
}}| }}{{#if: | {{#if: Gerhard Gentzen, in: Deutsche Mathematik 1938, S. 260<ref>Walter Tydecks, Neuere Geschichte der Mathematik in Deutschland</ref> |
Vorlage:Zitat: Doppelangabe 2=Autor=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe 3=Quelle=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Sprache=lang=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Übersetzung=de=}}
}}
{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@-
| {{#if:trim|Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format.}}
| {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@
| {{#ifeq: de | de
| „{{#if:trim|Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format.}}“
| {{#invoke:Text|quoteUnquoted| Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format. | {{{lang}}} }} }}
| {{#ifeq: {{#if:|{{{vor}}}|-}} | -
| „
| {{{vor}}} }}{{#if:trim|Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format.}}{{
#ifeq: {{#if:|{{{nach}}}|-}} | -
| “
| {{{nach}}} }} }} }}{{
#if: Dirk van Dalen, NRC Handelsblad 2002<ref>Dirk van Dalen, Ein Logiker unter den Nazis, deutsche Übersetzung des Artikels im NRC Handelsblad (Rotterdam), 13./14. Juli 2002, Wetenschap & Onderwijs, S. 33.</ref> || }}
{{#if:
|
„{{{Latn}}}“{{#if: Dirk van Dalen, NRC Handelsblad 2002<ref>Dirk van Dalen, Ein Logiker unter den Nazis, deutsche Übersetzung des Artikels im NRC Handelsblad (Rotterdam), 13./14. Juli 2002, Wetenschap & Onderwijs, S. 33.</ref> || }}
}}{{#if:
|
„{{{de}}}“{{#if: Dirk van Dalen, NRC Handelsblad 2002<ref>Dirk van Dalen, Ein Logiker unter den Nazis, deutsche Übersetzung des Artikels im NRC Handelsblad (Rotterdam), 13./14. Juli 2002, Wetenschap & Onderwijs, S. 33.</ref> || }}
}}|{{#if:
|}}}}
{{#if: |
{{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| }} }}{{#if: Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format. | {{
#if: | {{#if: Das Prädikat ‚genial‘ ist hier richtig am Platz. Wer die Arbeiten betrachtet, die die Hilbert-Schule in diesen Tagen produzierte (um es anachronistisch zu sagen, ein ‚Paradies der Hacker‘), der wird Gentzens Methode wie ein Wunder der Schönheit erfahren. Außenseiter denken sehr schnell bei Logik (und Mathematik) an eine langweilige Arbeit für Trauerklöße, aber man kann mir auf mein Wort glauben, dass man es hier zu tun hat von [sic!] einer Schönheit von fast symphonischen Format. |
Vorlage:Zitat: Doppelangabe 1=Text=}}
}}| }}{{#if: | {{#if: Dirk van Dalen, NRC Handelsblad 2002<ref>Dirk van Dalen, Ein Logiker unter den Nazis, deutsche Übersetzung des Artikels im NRC Handelsblad (Rotterdam), 13./14. Juli 2002, Wetenschap & Onderwijs, S. 33.</ref> |
Vorlage:Zitat: Doppelangabe 2=Autor=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe 3=Quelle=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Sprache=lang=}}
}}{{#if: | {{#if: |
Vorlage:Zitat: Doppelangabe Übersetzung=de=}}
}}
Schriften
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- Nachdruck in: Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 4. Aufl. 1986, Seite 206–261
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- posthum erschienen
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}} – Veröffentlicht von Paul Bernays.
- {{#invoke:Vorlage:Literatur|f}} – Veröffentlicht von Paul Bernays.
- {{#invoke:Vorlage:Literatur|f}}{{#if:
| {{#if: Vorlage:Cite book/ParamBool
| Vorlage:Toter Link/archivebot
| Vorlage:Webarchiv/archiv-bot
}}
}}{{#invoke:TemplatePar|check
|all = title=
|opt = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical= name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx= accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
|errNS = 0
|template = Vorlage:Cite journal
|format =
|preview = 1
}}Vorlage:Cite book/URL{{#if: | Vorlage:Cite book/Meldung }}{{#if: | Vorlage:Cite book/Meldung }}{{#if: The Bulletin of Symbolic Logic
|| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Gentzen|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}} – Veröffentlicht von Jan von Plato.
- Werke
- {{#invoke:Vorlage:Literatur|f}}
Literatur
- Dirk van Dalen: Ein Logiker unter den Nazis – der geniale Gelehrte Gentzen war vor allem naiv. NRC Handelsblad, Ausgabe vom 13./14. Juli 2002, Wetenschap & Onderwijs, S. 33, Review des Buches von Menzler-Trott, deutsche Übersetzung.
- Marc Dressler: Gentzens Sequenzen. In: Frankfurter Allgemeine Sonntagszeitung vom 22. November 2009, S. 64.
- {{#invoke:Vorlage:Literatur|f}}
- Eckart Menzler-Trott: Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland. Mit einem Essay von Jan von Plato. Birkhäuser Verlag, Basel 2001, ISBN 3-7643-6574-9. Englische Übersetzung Logic's Lost Genius: The Life of Gerhard Gentzen (= History of Mathematics, Band 33). American Mathematical Society 2007.
- Jan von Plato: Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics. Springer, Cham 2017, ISBN 978-3-319-42119-3.
- Peter Schroeder-Heister: Gerhard Gentzen. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Band 3, Metzler, Stuttgart und Weimar 2008, ISBN 978-3-476-02102-1.
- {{#invoke:Vorlage:Literatur|f}}{{#ifeq: 0 | 0
| {{#if: 194
|
| Vorlage:NDB – bitte Seitenzahl(en) angeben
}}{{#if: 117710458
| {{#if: {{#invoke:URIutil|isDNBvalid|117710458}}
| {{#if:
| Vorlage:NDB – Wenn GND dann kein SFZ angeben
}}
| Vorlage:NDB – GND unzulässig
}}
| {{#if:
| {{#if:
| {{#ifeq: 198068 | 4526413
|
| Vorlage:NDB – 7= ist obsolet, jetzt SFZ=
}}
}}
| {{#ifeq: | 1
|
|
}}
}}
}}{{#if:
| {{#ifeq: 198068 | 11376103
|
| Vorlage:NDB – Werktitel= war ein Irrtum, jetzt Werkliste=
}}
}}
}}{{#if:
| {{#if:
|
|
}}
}}
- Premysl Vihan: The Last Months of Gerhard Gentzen in Prague. In: Collegium Logicum 1 (1995), S. 1–7.
Belletristik
- Dietmar Dath: Gentzen oder: Betrunken aufräumen. Roman. Matthes & Seitz, Berlin 2021, ISBN 978-3-75180-035-8.<ref>Rezension in literaturkritik.de vom 5. November 2021 [3]</ref>
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:
| {{#ifeq: {{#invoke:Str|left||9}}
| category:
| FEHLER: Ohne Category: angeben!}}}}Vorlage:Wikidata-Registrierung
- }} Literatur von und über {{#invoke:WLink|getArticleBase}} im Katalog der {{#ifeq: Gerhard Gentzen | Deutsche Nationalbibliothek | DNB | Deutschen Nationalbibliothek}}{{#ifeq: 0 | 0
| {{#if:
| Vorlage:DNB-Portal – veraltete Parametrisierung 3=
}}
}}
- {{#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 }}/Gentzen/ Gerhard Gentzen.] In: {{#invoke:Vorlage:lang|flat}}{{#if: |, {{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}}} (englisch).
- Gerhard Gentzen im Mathematics Genealogy Project (englisch)
- Gentzenforschung an der Erlanger Universität
- <templatestyles src="Webarchiv/styles.css" />{{#if:20061007102450
| {{#ifeq: 20061007102450 | *
| {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20061007102450}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20061007102450}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen | {{#invoke:WLink|getEscapedTitle|M. E. Szabo. The Collected Works of Gerhard Gentzen}} | {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20061007102450|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html}}
|| {{#if: || }}
}}{{#if: M. E. Szabo. The Collected Works of Gerhard Gentzen
| {{#if: {{#invoke:WLink|isBracketedLink|M. E. Szabo. The Collected Works of Gerhard Gentzen}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.andrew.cmu.edu/user/cebrown/notes/szabo.html }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}
- Alex Sakharov: Sequent Calculus auf MathWorld
- W. W. Tait: Gödel’s Reformulation of Gentzen’s first consistency proof for arithmetic. (PDF; 241 kB) Englischer Artikel in: The Bulletin of Symbolic Logic. Band 11, Nr. 2, 2005, S. 225–238
- Pinl zu Gentzen in seiner Reihe Kollegen in dunkler Zeit, Jb DMV, der Abschnitt zu Gentzen beginnt S. 173
Einzelnachweise
<references />
{{#ifeq: p | p | | {{#if: 117710458n/88/63747622269649 | |
}} }}{{#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: 117710458 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 117710458 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/88/637476 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/88/637476 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 22269649 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 22269649 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung
{{#if: Gentzen, Gerhard | {{#if: Gentzen, Gerhard Karl Erich (vollständiger Name) | {{#if: deutscher Mathematiker | {{#if: 24. November 1909 | {{#if: Greifswald | {{#if: 4. August 1945 | {{#if: Prag || Personendaten | |
|---|---|
| NAME | Gentzen, Gerhard
}} |
| ALTERNATIVNAMEN | Gentzen, Gerhard Karl Erich (vollständiger Name)
}} |
| KURZBESCHREIBUNG | deutscher Mathematiker
}} |
| GEBURTSDATUM | 24. November 1909
}} |
| GEBURTSORT | Greifswald
}} |
| STERBEDATUM | 4. August 1945
}} |
| STERBEORT | Prag
}} |
- 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/Vorlage:Zitat
- Wikipedia:Vorlagenfehler/Vorlage:NDB
- Wikipedia:Vorlagenfehler/Vorlage:NDB/GND fehlt der NDB
- Wikipedia:Vorlagenfehler/Vorlage:NDB/ohne GND
- Wikipedia:Vorlagenfehler/Schwesterprojekt
- Wikipedia:Vorlagenfehler/Vorlage:DNB-Portal/ohne GND
- Wikipedia:Vorlagenfehler/Vorlage:DNB-Portal
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext 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)
- NSDAP-Mitglied
- SA-Mitglied
- Hochschullehrer (Reichsuniversität Prag)
- Deutscher
- Geboren 1909
- Gestorben 1945
- Mann