С ноября 1935 года по 1939 год Генцен был ассистентом Давида Гильберта в Гёттингенском университете. С 1943 года преподавал в Карловом университете в Праге. В мае 1945 года, как и прочие немцы в Праге, он был арестован, и в августе, через три месяца после ареста, умер в тюрьме от голода.
(1932) «Über die Existenz unabhangiger Axiomenstsreme zu unendlichen Satzsystemen». Mathematische Annalen107 (2): 329–350.
(1934) «Untersuchungen über das logische Schließen. I». Mathematische Zeitschrift39 (2): 176–210.
(1935) «Untersuchungen über das logische Schließen. II». Mathematische Zeitschrift39 (3): 405–431.
(1936) «Die Widerspruchsfreiheit der Stufenlogik». Mathematische Zeitschrift41: 357–366.
(1936) «Die Widerspruchsfreiheit der reinen Zahlentheorie». Mathematische Annalen112: 493–565.
(1936-1937) «Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz». Semester-Berichte Münster: 65–80. (Лекция состоялась в Мюнстере в институте Хайнриха Шольца 27 июня 1936 года)
(1937) «Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik». Actualites scientifiques et industrielles535: 201–205.
(1938) «Die gegenwartige Lage in der mathematischen Grundlagenforschung». Deutsche Mathematik3: 255–268.
(1938) «Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie». Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften4: 19–44.
(1943) «Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der transfiniten Induktion in der reinen Zahlentheorie». Mathematische Annalen119: 140–161.
Посмертно
(1954) «Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen». Archiv für mathematische Logik und Grundlagenforschung2 (1): 81–93.
(1974) «Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie». Archiv für mathematische Logik und Grundlagenforschung16: 97–118. — Опубликовано Паулем Бернайсом.
(1974) «Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik». Archiv für mathematische Logik und Grundlagenforschung16: 119–132. — Опубликовано Паулем Бернайсом.
Литература и ссылки
Боголюбов А. Н. Математики. Механики. Биографический справочник. — Киев: Наукова думка, 1983.
Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Генцен, Герхард (англ.) — биография в архиве MacTutor. (англ.)
Примечания
↑Генцен Г. Непротиворечивость чистой теории чисел. // Математическая теория логического вывода. М.: Наука, 1967, стр. 77-153.
Тематические сайты
Математическая генеалогия · Zentralblatt MATH database