Loading AI tools
Из Википедии, свободной энциклопедии
Герхард Карл Эрих Генцен (нем. Gerhard Karl Erich Gentzen, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
Герхард Генцен | |
---|---|
нем. Gerhard Karl Erich Gentzen | |
Дата рождения | 24 ноября 1909 |
Место рождения | Грайфсвальд, Германская империя |
Дата смерти | 4 августа 1945 (35 лет) |
Место смерти | Прага, Чехословакия |
Страна |
Германская империя Веймарская республика Нацистская Германия |
Род деятельности | математик, философ, педагог, преподаватель университета, логик |
Научная сфера | математика |
Место работы |
Гёттингенский университет Карлов университет |
Альма-матер | Гёттингенский университет |
Научный руководитель |
Пауль Бернайс Герман Вейль |
Медиафайлы на Викискладе |
Герхард Генцен учился в Гёттингенском университете и был студентом Пауля Бернайса. В апреле 1933 года Бернайс был изгнан из университета из-за еврейского происхождения как «не ариец»[1], и формальным научным руководителем Генцена стал Герман Вейль, однако Генцен, несмотря на огромный риск, продолжал поддерживать контакты с Бернайсом вплоть до начала Второй мировой войны. В 1935 году Генцен вёл переписку с Абрахамом Френкелем из Еврейского университета в Иерусалиме, и был за это заклеймён нацистским «Союзом преподавателей».
С ноября 1935 года по 1939 год Генцен был ассистентом Давида Гильберта в Гёттингенском университете. В 1937 году стал членом национал-социалистической партии Германии[2]. С 1943 года преподавал в Карловом университете в Праге. В мае 1945 года, как и прочие члены нацистской партии в Праге, он был арестован и передан советской военной администрации. В августе, через три месяца после ареста, умер в лагере от истощения[3][4].
Основные работы Генцена относятся к области оснований математики и теории доказательств.
В 1934 году разработал систему натурального исчисления (независимо, но одновременно с С. Яськовским).
В 1935 году ввёл символ для квантора всеобщности[5][6].
Его теорема об устранении сечения является краеугольным камнем теоретико-доказательной семантики. В 1936 году Генцен доказал (англ. Gentzen's consistency proof) совместность аксиом Пеано, то есть непротиворечивость арифметики[7]; для этого ему понадобилось добавить к логике первого порядка дополнительную аксиому (бескванторную трансфинитную индукцию). Тем самым он завершил выполнение программы Гильберта по формализации оснований математики.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.