немецкий математик. Окончил Геттингенский университет (1933). В 1934 г. работал вместе с Гильбертом в Геттингенском университете, с 1944 г. – в Пражском университете. Исследования посвящены математической логике. Вел логико-математические исчисления, которые служат для формализации и исследования содержательных доказательств, относящихся к гипотезам. Доказал непротиворечивость теории чисел. Сформулировал (1935) основную теорему теории доказательств.
Досье личности
ГЕНЦЕН Герхард Карл Эрих
Имя латиницей: Gentzen Gerhard Karl Erich
Пол: мужской
Дата рождения: 24.11.1909
Место рождения: Грейфсвальд, Германия
Дата смерти: 04.08.1945 Возраст (35)
Место смерти: Прага, Чехия
Знак зодиака: Стрелец
По восточному: Петух
Ключевые слова: знание, логик, математик, наука.
Anno: 1935
Герхард Карл Эрих ГЕНЦЕН
- А. Н. Боголюбов. Математики Механики. - Киев, Наукова думка, 1983
- ru.wikipedia.org
- ЭЙНШТЕЙН Альберт
- ЕКАТЕРИНА II Великая
- БАХ Иоганн Себастьян
- ГЕГЕЛЬ Георг Вильгельм Фридрих
- ЭЙЛЕР Леонард
- ГЕТЕ Иоганн Вольфганг
- БЕТХОВЕН Людвиг ван
- ВОЛЬТЕР
- МАРКС Карл
- ДИТРИХ Марлен
- НАБОКОВ Владимир Владимирович
- КАНТ Иммануил
- БЭР Карл Максимович
- ГАУСС Карл Фридрих
- ГИТЛЕР Адольф
- КАРАЯН Герберт фон
- ШРЕДИНГЕР Эрвин
- ГЕРЦ Генрих Рудольф
- НИЦШЕ Фридрих
- ШОПЕНГАУЭР Артур
- ПЛИНИЙ Старший
- ГИЛЬБЕРТ Давид
- КАНТОР Георг
- ПУТИН Владимир Владимирович
- ПЛАНК Макс Карл Эрнст Людвиг
- ШИЛЛЕР Фридрих
- ЕЛИЗАВЕТА АЛЕКСЕЕВНА
- БОЛЬЦМАН Людвиг
- ТЕЛЬМАН Эрнст
- РЕМАРК Эрих Мария
- КАРЛ I Великий
- АДЕНАУЭР Конрад
- ЛЮТЕР Мартин
- ЛЕЙБНИЦ Готфрид Вильгельм
- БАКУНИН Михаил Александрович
- ХАКЕН Герман
- РЕНТГЕН Вильгельм Конрад
- ФУКС Эдуард
- МАНН Томас
- РИЛЬКЕ Райнер Мария
- КРАНАХ Лукас Старший
- ГЕЙНЕ Генрих
- ДЮРЕР Альбрехт
- ФЕЙЕРБАХ Людвиг Андреас
- КОХ Роберт
- ПЛИСЕЦКАЯ Майя Михайловна
- ЕНИКОЛОПОВ Николай Сергеевич
- ДОПЛЕР Христиан
- РИМАН Бернхард Георг
- ГАБОР Деннис
- ГРИГ Эдвард
- ТЮТЧЕВ Федор Иванович
- ПИРОГОВ Николай Иванович
- ЛАМАРР Хеди
- ФРИДРИХ II Великий
- ТУРГЕНЕВ Иван Сергеевич
- ШЕЛЛИНГ Фридрих Вильгельм Йозеф
- ЭРАЗМ РОТТЕРДАМСКИЙ
- ГЕЙЗЕНБЕРГ Вернер
- МАНИН Юрий Иванович
- РЕМБО Артюр
- ВЕЙЕРШТРАСС Карл Теодор Вильгельм
- ОМ Георг Симон
- КАРЛ VI