Tras su graduación, se trasladó a la Universidad estadounidense de Princeton, donde trabajó con el lógico A.