Title: Gentzens Problem
People: Gerhard Gentzen (1909-1945)