Словарь по логике

Генцен

Герхард Генцен, Gerhard Gentzen (1909 - 14.05.1945, лагерь для немецких военнопленных под Прагой): Немецкий математик и логик. Занимался исследованием логического вывода и непротиворечивости формальной арифметики. Построил секвенциальное натуральное исчисление (т.н. натуральное исчисление генценовского типа).
Член национал-социалистической немецкой рабочей партии, участник штурмовых отрядов. Арестован 7.05.1945 в Праге и через неделю умер от голода в лагере под Прагой.
Сочинения: Исследования логических выводов (1934), Новое изложение доказательства непротиворечивости для чистой теории чисел (1938), Непротиворечивость чистой теории чисел (1939).