- Заглавие: ГЕНЦЕН ГЕРХАРД КАРЛ ЭРИХ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ГЕНЦЕН ГЕРХАРД КАРЛ ЭРИХ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ГЕНЦЕН ГЕРХАРД КАРЛ ЭРИХ (1909–1945) — выдающийся немецкий математик и логик. Первым доказал непротиворечивость формальной арифметики, но при этом ему пришлось выйти за пределы финитной программы его учителя Д. Гильберта. Разработал систему натурального вывода, не содержащего аксиом.
Литература:
Генцен Г. Непротиворечивость чистой теории чисел [Текст] / Г. Генцен // Математическая теория логического вывода. — М.: Наука, 1967. — С. 77–153.
