Генцен, Герхард
Материал из Википедии — свободной encyclopedia
В Википедии есть статьи о других людях с фамилией Генцен.
Герхард Карл Эрих Генцен (нем. Gerhard Karl Erich Gentzen, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
Краткие факты Герхард Генцен, Дата рождения ...
Герхард Генцен | |
---|---|
нем. Gerhard Karl Erich Gentzen | |
![]() | |
Дата рождения | 24 ноября 1909(1909-11-24) |
Место рождения | Грайфсвальд, Германская империя |
Дата смерти | 4 августа 1945(1945-08-04) (35 лет) |
Место смерти | Прага, Чехословакия |
Страна |
![]() ![]() ![]() |
Род деятельности | математик, философ, педагог, преподаватель университета, логик |
Научная сфера | математика |
Место работы |
Гёттингенский университет Карлов университет |
Альма-матер | Гёттингенский университет |
Научный руководитель |
Пауль Бернайс Герман Вейль |
![]() |
Закрыть