El problema de la detención es solo un ejemplo de una clase más grande de problemas de la forma “Xse pueden lograr usando máquinas Turing”. Otro problema central de la lógica es el problema de dec...El problema de la detención es solo un ejemplo de una clase más grande de problemas de la forma “Xse pueden lograr usando máquinas Turing”. Otro problema central de la lógica es el problema de decisión para la lógica de primer orden: ¿existe una máquina de Turing que pueda decidir si una oración dada es válida o no?
