En 1940 estudió un máster en ingeniería eléctrica y se doctoró en filosofía de la matemática.