Ґергард Ґенцен
З Вікіпедії, безкоштовно encyclopedia
Ґергард Карл Еріх Ґенцен (нім. Gerhard Karl Erich Gentzen, 24 листопада 1909(19091124) — 4 серпня 1945) — німецький математик і логік. Зробив вагомий внесок до основ математики, теорії доведення, зокрема природної дедукції[en] і числення секвенцій.
Коротка інформація Ґергард Ґенцен, нім. Gerhard Karl Erich Gentzen ...
Ґергард Ґенцен | |
---|---|
нім. Gerhard Karl Erich Gentzen | |
Народився | 24 листопада 1909(1909-11-24)[1][2][…] Грайфсвальд, Королівство Пруссія |
Помер | 4 серпня 1945(1945-08-04)[1][2][…] (35 років) Прага, Чехословаччина |
Поховання | Ďáblice cemeteryd[3] |
Країна | Королівство Пруссія Веймарська республіка Третій Райх |
Діяльність | математик, філософ, педагог, викладач університету, логік |
Alma mater | Геттінгенський університет (1930)[2] Грайфсвальдський університет (1929)[2] Мюнхенський університет Людвіга-Максиміліана (1930)[2] Університет Фрідріха-Вільгельма[d] (1931)[2] Геттінгенський університет (1933)[2] |
Галузь | математика[4], логіка[4], математична логіка[4], теорія чисел[4] і теорія доведення[4] |
Заклад | Карлів університет[2] Геттінгенський університет[2] Вермахт[2] |
Науковий керівник | Пауль Бернайсd і Герман Вейль |
Членство | СА[2] Націонал-соціалістичний союз німецьких доцентів[2] |
Партія | Націонал-соціалістична робітнича партія Німеччини[2] |
Ґергард Ґенцен у Вікісховищі |
Закрити