01
Alan Turing’s Universal Machine and the Separation of Program from Machine
Turing's 1936 work formalized computation as rule-governed symbolic procedure and showed that one universal machine could simulate any machine described in the same formal system.
↗