Gerhard Gentzen — German mathematician (1909-1945) | namepick