« Alan Turing gave us a mathematical model of digital computing that has completely withstood the test of time. He gave us a very, very clear description that was truly prophetic. »