Preguntas etiquetadas con incompleteness

5
¿Existe alguna relación concreta entre el teorema de incompletitud de Gödel, el problema de la detención y las máquinas universales de Turing?
Siempre he pensado vagamente que la respuesta a la pregunta anterior fue afirmativa en las siguientes líneas. El teorema de incompletitud de Gödel y la indecidibilidad del problema de detención son resultados negativos sobre la capacidad de decisión y se establecen mediante argumentos diagonales (y en la década de 1930), …


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.