In 1956, he was appointed Reader in the Philosophy of Mathematics at Oxford University, and in 1961, he was appointed Gordon MacKay Professor of Mathematical Logic and Applied Mathematics at Harvard.
He was appointed Reader in the Philosophy of Mathematics at Oxford University. This was in 1956. He was appointed Gordon MacKay Professor of Mathematical Logic at Harvard. This was in 1961. This was in 1956. He was appointed Gordon MacKay Professor of Applied Mathematics at Harvard. This was in 1961. This was in 1956.