An Abstract Machine That Defined "Computation" Itself
Turing conceived an extremely simplified hypothetical machine: an infinitely long tape, a read-write head that could read and write symbols and move along the tape, and a finite set of state-transition rules — with this minimal device alone he proved that almost any computational process that can be clearly described could be executed by this machine, and this "Turing machine" model thereafter became the axiomatic starting point of the whole theory of computer science, Turing thereby honored as the "father of computer science."