ГЕНЦЕН ГЕРХАРД КАРЛ ЭРИХ

(1909- 1945) — выдающийся немецкий математик и логик. Первым доказал непротиворечивость формальной арифметики, но при этом ему пришлось выйти за пределы финитной программы его учителя Д. Гильберта. Разработал систему натурального вывода, не содержащего аксиом. Генцен Г. Непротиворечивость чистой теории чисел // Математическая теория логического вывода. М., 1967.