Turing y Shannon tienen una trayectoria como matemáticos, en momentos convergentes y otros divergentes. Habían trabajado, desde la lógica formal de Boole, en líneas complementarias sobre la computabilidad, como respuesta al Entscheidungsproblem (problema de decisión) formulado por Hilbert, en 1928 ¿son las matemáticas computables?