Биография

Герхард Генцен учился в Гёттингенском университете и был студентом Пауля Бернайса. В апреле 1933 года Бернайс был изгнан из университета как «не ариец», и формальным научным руководителем Генцена стал Герман Вейль, однако Генцен, несмотря на огромный риск, продолжал поддерживать контакты с Бернайсом вплоть до начала Второй мировой войны. В 1935 году Генцен вёл переписку с Абрахамом Френкелем из Еврейского университета в Иерусалиме, и был за это заклеймён нацистским «Союзом преподавателей».С ноября 1935 года по 1939 год Генцен был ассистентом Давида Гильберта в Гёттингенском университете. С 1943 года преподавал в Карловом университете в Праге. В мае 1945 года, как и прочие немцы в Праге, он был арестован, и в августе, через три месяца после ареста, умер в тюрьме от голода.Основные работы Генцена относятся к области оснований математики и теории доказательств.В 1934 году разработал систему натурального исчисления (независимо, но одновременно с С. Яськовским).Его теорема об устранении сечения является краеугольным камнем теоретико-доказательной семантики. В 1936 году Генцен доказал (англ. ) совместность аксиом Пеано, то есть непротиворечивость арифметики; для этого ему понадобилось добавить к логике первого порядка дополнительную аксиому (бескванторную индукцию). Тем самым он завершил выполнение программы Гильберта по формализации оснований математики.

Лучшие недели

Наша бабушка - адмирал Посетило:23355

Виктор Талалихин: Первооткрыватель ночных таранов Посетило:12990

Карл Дрез. Биография Посетило:12169