Preguntas etiquetadas con undecidability

Preguntas sobre problemas que ninguna máquina de Turing no puede resolver.

30
Teorema de Rice para propiedades no semánticas.

El teorema de Rice nos dice que las únicas propiedades semánticas de las máquinas de Turing (es decir, las propiedades de la función calculada por la máquina) que podemos decidir son las dos propiedades triviales (es decir, siempre verdaderas y siempre falsas). Pero hay otras propiedades de las...

28
¿Hay algún problema específico que se sepa que es indecidible por razones distintas a la diagonalización, la autorreferencia o la reducibilidad?

Cada problema indecidible que conozco pertenece a una de las siguientes categorías: Problemas que son indecidibles debido a la diagonalización (autorreferencia indirecta). Estos problemas, como el problema de detención, son indecidibles porque podría usar un supuesto decisor para el lenguaje para...

20
Ratio de problemas decidibles

Considere los problemas de decisión establecidos en un lenguaje formal "razonable". Digamos fórmulas en aritmética de Peano de orden superior con una variable libre como marco de referencia, pero estoy igualmente interesado en otros modelos de cómputo: ecuaciones de diofantina, problemas de...