As a side note, Gerhard Gentzen (who studied under von Neumann) was in the army from '39 to '41. It is a real pity that he was a Nazi and didn't leave Germany b

As a side note, Gerhard Gentzen (who studied under von Neumann) was in the army from '39 to '41. It is a real pity that he was a Nazi and didn't leave Germany before the war.