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