Людибиографии, истории, факты, фотографии

Герхард Генцен

   /   

Gerhard Gentzen

   /
             
Фотография Герхард Генцен (photo Gerhard Gentzen)
   

День рождения: 24.11.1909 года
Место рождения: Грайфсвальд, Германия
Дата смерти: 04.08.1945 года
Место смерти: Прага, США
Возраст: 35 лет

Гражданство: Германия

Биография

Немецкий математик и логик

Немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.

VK Facebook Mailru Odnoklassniki Twitter Twitter Print

04.07.2018

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

Герхард Генцен фотография
Герхард Генцен фотография




Ваш комментарий (*):
Я не робот...

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

Рейнгольд Глиэр. Биография
Посетило:6696
Рейнгольд Глиэр
Главный полководец Великой Отечественной войны
Посетило:12011
Георгий Жуков
Затворническая старость Марины Ладыниной
Посетило:9817
Марина Ладынина

Добавьте свою информацию

Здесь
Администрация проекта admin @ peoples.ru
history