Turing logró la equivalencia entre su máquina teórica y este cálculo en 1937.