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

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

   /   

Gerhard Gentzen

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

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

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

Биография

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

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

VK Facebook Mailru Odnoklassniki Twitter Twitter Twitter Print

04.07.2018

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

Герхард Генцен фотография
Герхард Генцен фотография
Generic placeholder image
Денис Кацевич
Люблю исследовать биографии интересных людей




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

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


Ань Лушань
Посетило:1057
Ань Лушань
Гангстер из Чикаго
Посетило:447
Аль Капоне
Легендарная актриса советского кино
Посетило:400
Римма Маркова

Добавьте свою новость

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