More technical detail and background here:
https://spectrum.ieee.org/alan-turing-how-his-universal-mach...