Metadata
Author: WikiMatrix
Data
English[en]
The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run.
Spanish[es]
El problema de la parada es un ejemplo: no existe algoritmo que determine de manera correcta si un programa arbitrario se detendrĂ¡, una vez sea ejecutado.