Maths›03. Logic and Foundations11.3 Universal MachinesMachines that simulate any other Turing machine, establishing the concept of programmable computation.