I studied mathematics at Cambridge University. At Cambridge I gained my first class honors in mathematics After going to school there, eventually I taught at the school. There I worked in quantum mechanics. It was at Cambridge that I developed proof that automatic computation could not solve all mathematical problems. This concept was called the Turing machine, and is known for the modern theory of computation.