More technical detail and background here:

https://spectrum.ieee.org/alan-turing-how-his-universal-mach...