Tras él, Alan Turíng construye su máquina y en base a ella plantea el problema de la parada: No podemos determinar si un programa parará dada una entrada concreta.