Después planteó su conocido problema de la parada, en el que pregunta si se puede determinar si un programa concreto se detiene al ser ejecutado en su máquina.