Генцен, Герхард: различия между версиями

Основные работы Генцена относятся к области оснований математики и теории доказательств.

В 1934 году разработал систему [[Натуральное исчисление|натурального исчисления]] (независимо, но одновременно с [[Яськовский, Станислав|С. Яськовским]]).

Его [[теорема об устранении сечения]] является краеугольным камнем [[теоретико-доказательная семантика|теоретико-доказательной семантики]]. В 1936 году Генцен {{Не переведено|:en:Gentzen's consistency proof2|Доказательство непротиворечивости Генцена|доказал|en|Gentzen's consistency proof}} совместность [[Аксиомы Пеано|аксиом Пеано]].