El Problema de Halting de Turing
1962·ciencia ficcion
Este texto aborda formalmente el problema indecidible de determinar si un programa arbitrario terminará o continuará ejecutándose indefinidamente, introduciendo el concepto de la función 'Busy Beaver'.




