Gentzen’s lifetime is deeply tragic to me. He was an exceptional mathematician who, like a lot of Other individuals in Nazi Germany, compromised Together with the routine. Whilst he was in no way a political human being, he became a member on the Nazi Bash and afterwards joined the SS—th