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