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.

Picture
Cambridge University Library

Comments are closed.