Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church.