Досье личности

Ценность: 2.333 (6)

Симпатия: 1 (5)

дата обновления - 2007-11-26

просмотров - 4

ГЕНЦЕН Герхард Карл Эрих

Имя латиницей: Gentzen Gerhard Karl Erich

Пол: мужской

Дата рождения: 24.11.1909

Место рождения: Грейфсвальд, Германия

Дата смерти: 04.08.1945 Возраст (35)

Знак зодиака: Стрелец

По восточному: Петух

География: ГЕРМАНИЯ.

Ключевые слова: знание, логик, математик, наука.

Ключевой год: 1935

Герхард Карл Эрих ГЕНЦЕН

немецкий математик. Окончил Геттингенский университет (1933). В 1934 г. работал вместе с Гильбертом в Геттингенском университете, с 1944 г. – в Пражском университете. Исследования посвящены математической логике. Вел логико-математические исчисления, которые служат для формализации и исследования содержательных доказательств, относящихся к гипотезам. Доказал непротиворечивость теории чисел. Сформулировал (1935) основную теорему теории доказательств.
Источники (1)
  • А. Н. Боголюбов. Математики Механики. - Киев, Наукова думка, 1983
Обсуждение
comments powered by HyperComments
Наверх