El problema de la parada (the halting problem)

Existen problemas que la computadoras no pueden resolver.

Alan Turing demostró que no existe una manera automática computable de saber si todos los programas del mundo terminan. Este problema es llamado el problema de la parada (the halting problem en inglés).

En esta entrada explicaré la demostración (simplificada) que propuso Alan Turing para determinar que el problema de la parada es indecidible.

Además, explicaré que la demostración del problema de la parada impone un límite en la Inteligencia Artificial.

El video explicativo:

La presentación (link para descarga):