Minor Logic and Computation / Institute for Logic, Language and Computation

Alan Turing (1912-1954)

'"A man provided with paper, pencil and rubber, and subject to strict discipline, is in effect a universal machine."

Alan Turing was a great mathematician and logician. Famous among other things for resolving the decision problem in mathematical logic, his cryptographic work at Bletchley Park and by formulating an abstract model of computation with his Turing machine.'