Artin, Emil, 1898-1962