I just read his CV. He got his PhD under Gödel. He was at Princeton when Einstein was still there. Amazing!