Llegó a probar que no había ninguna solución para el problema de decisión, "Entscheidungsproblem", demostrando primero que el problema de la parada para las máquinas de Turing es irresoluble: no es posible decidir algorítmicamente si una máquina de Turing dada llegará a pararse o no.