In 1960–61, he worked at the Center for Advanced Study in the Behavioral Sciences at Stanford and devoted most of his time to the complex proof that appeared in 1962 of a general theorem on the existence of an economic equilibrium.
I 1960–61 arbejdede han ved Center for Advanced Study in the Behavioral Sciences på Stanford University, hvor han brugte det meste af sin tid på et avanceret bevis, som blev færdigt i 1962, af et generelt teorem om eksistensen af en økonomisk ligevægt.