(Indecidible Indecidible En la teoría de la computabilidad, un problema indecidible es un tipo de problema computacional que requiere una respuesta sí/no, pero donde no es posible que exista ningún programa de computadora que siempre da la respuesta correcta, es decir, cualquier programa posible a veces daría la respuesta incorrecta o se ejecutaría para siempre sin dar ninguna respuesta.
Lista de problemas indecidibles - Wikipedia
simplemente significa no computable en el contexto de un problema de decisión, cuya respuesta (o resultado) es "verdadero" o "falso"). Un problema no computable es un problema para el que no existe un algoritmo que pueda usarse para resolverlo.
¿Qué son los problemas no computables?
En la teoría de la computabilidad, un problema indecidible es un tipo de problema computacional que requiere una respuesta sí/no, pero donde no es posible que exista ningún programa de computadora que siempre dé la respuesta correcta responder; es decir, cualquier programa posible a veces daría una respuesta incorrecta o se ejecutaría eternamente sin dar ninguna respuesta.
¿Qué es un número no computable?
La constante de Chaitin es un ejemplo (en realidad, una familia de ejemplos) de un número no computable. representa la probabilidad de que un programa generado aleatoriamente (en un modelo determinado) se detenga. Se puede calcular aproximadamente, pero (probablemente) no hay ningún algoritmo para calcularlo con precisión arbitraria.
¿Qué problema escomputable?
Un problema matemático es computable si se puede resolver en principio mediante un dispositivo informático. Algunos sinónimos comunes de "computable" son "soluble", "decidible" y "recursivo". Hilbert creía que todos los problemas matemáticos tenían solución, pero en la década de 1930, Gödel, Turing y Church demostraron que no es así.
¿Es computable el conjunto vacío?
El conjunto vacío es computable. Todo el conjunto de los números naturales es computable. Cada número natural (como se define en la teoría de conjuntos estándar) es computable; es decir, el conjunto de números naturales menores que un número natural dado es computable.
