Герхард Генце: біографія

Біографія

Герхард Генце вчився в Геттінгенському університеті і був студентом Пауля Бернайса. У квітні 1933 року Бернайс був вигнаний з університету як «не арієць», і формальним науковим керівником Генце став Герман Вейль, проте Гьонц, незважаючи на величезний ризик, продовжував підтримувати контакти з Бернайса аж до початку Другої світової війни. У 1935 році Генце вів листування з Абрахамом Френкелем з Єврейського університету в Єрусалимі, і був за це затаврований нацистським «Союзом викладачів». З листопада 1935 по 1939 рік Генце був асистентом Давида Гільберта в Геттінгенському університеті. З 1943 року викладав у Карловому університеті в Празі. У травні 1945 року, як і інші німці в Празі, він був заарештований, і в серпні помер від голоду.

Наукова діяльність

Основні роботи Генце відносяться до області основ математики і теорії доказів .

У 1934 році розробив систему натурального обчислення (незалежно, але одночасно з С. Яськовскім).

Його теорема про усунення розтину є наріжним каменем теоретико-доказової семантики. У 1936 році Генце довів (англ.Gentzen 's consistency proof) спільність аксіом Пеано.

Бібліографія

• (1935) «Untersuchungen ?ber das logische Schlie?en. II ».Mathematische Zeitschrift39 (3): 405-431.
• (1936) «Die Widerspruchsfreiheit der reinen Zahlentheorie».Mathematische Annalen112: 493-565.
• (1938) «Die gegenwartige Lage in der mathematischen Grundlagenforschung».Deutsche Mathematik3: 255-268.
• (1932) «?ber die Existenz unabhangiger Axiomenstsreme zu unendlichen Satzsystemen».Mathematische Annalen107 (2): 329-350.
• (1943) «Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der transfiniten Induktion in der reinen Zahlentheorie ».Mathematische Annalen119: 140-161.
• (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)
• (1938) «Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie ».Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften4: 19-44.
• (1934) «Untersuchungen ?ber das logische Schlie?en. I ».Mathematische Zeitschrift39 (2): 176-210.
• (1936) «Die Widerspruchsfreiheit der Stufenlogik».Mathematische Zeitschrift41: 357-366.
• (1937) «Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik».Actualites scientifiques et industrielles535: 201-205.

Посмертно

• (1954) «Zusammenfassung von mehreren vollst?ndigen Induktionen zu einer einzigen».Archiv f?r mathematische Logik und Grundlagenforschung2 (1): 81-93.
• (1974) «?ber das Verh?ltnis zwischen intuitionistischer und klassischer Arithmetik ».Archiv f?r mathematische Logik und Grundlagenforschung16: 119-132.- Опубліковано Паулем Бернайса.
• (1974) «Der erste Widerspruchsfreiheitsbeweis f?r die klassische Zahlentheorie ».Archiv f?r mathematische Logik und Grundlagenforschung16: 97-118.- Опубліковано Паулем Бернайса.

Комментарии

Сайт: Википедия