Герхард Карл Эрих Генцен (нем. Gerhard Karl Erich Gentzen, 24 ноября 1909 — 4 августа 1945) — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.

Связанные публикации на ФШ	Участник	Тип	Опубликовано
Ликбез по логике предикатов. Часть 2	Виктор Володин	Запись	23.01.2026