Professor a la Universitat de Stanford des del 1961, provà la impossibilitat de la demostració d’hipòtesis contínues a partir del conjunt d’axiomes d’una teoria. Estudià les equacions diferencials parcials i l’anàlisi harmònica. El 1966 li fou atorgada la medalla Fields.