Indecibilidad

Presentado en el campo de los lenguajes formales y teora de autmatas.

Que es Indecibilidad?

Un problema de decisin es decidible si existe un algoritmo que lo resuelva

(en caso contrario es indecidible)
Imposibilidad de demostrar, en un sistema de una cierta complejidad y dentro
del mismo sistema, todas lasproposiciones verdaderas.
La cualidad de un problema de decisin (recursivamente) indecidible, que no
puede decidirse por ningn algoritmo, como el problema de la parada de Alan
Turing.

El problema de la parada

Sea M una Mquina de Turing y una cadena w. Para M con entrada w?.
Si se pudiera predecir la parada de M, si se pudiera predecir de forma
automtica la parada de cualquier proceso en ejecucin, tambin se podra
decidir automticamente el xito o el fracaso de esa ejecucin.
Cmo mostramos que una lgica es indecidible?
Si quisiramos mostrarlo de forma directa, deberamos escribir una
frmulaque codifique ejecuciones arbitrarias en una mquina de Turing.

Propiedades de Indecibilidad

Un lenguaje es indecible si sus miembros no pueden ser identificados por un

algoritmo que restrinja todas las entradas de un nmero de pasos finito.
No puede ser reconocido como una entrada valida en una mquina deTuring.
Son aquellos que no pueden ser resueltos, con todas sus variantes, por un
algoritmo.

 Un problema ser considerado cualquier cuestin formulada en trminos

formales (matemticos).
Un problema es de decisin si su resolucin es binaria lo que implica la
afirmacin o negacin de un predicado lgico. Existen otros tipos de
problemas que no son de decisin (de optimizacin y bsqueda).
Problema decible = lenguaje recursivo.
Existe un algoritmo = Existe una mquina de Turing que siempre se detiene
ante cualquier entrada dando la respuesta correcta.

Lenguajes recursivamente
enumerables

Son lenguajes que nos permiten reconocer las cadenas que

forman parte de un lenguaje de una mquina de Turing y si la
cadena comparte el lenguaje de la mquina de Turing nos va a
dar un resultado binario siempre.

Ultimo teorema de Fermat:

toma una entrada n y
busca soluciones enteras
positivas enteras positivas
de la ecuacin
x^n+y^n=z^n para n>2
este programa no
encuentra solucin.

Si el programa soluciona la
ecuacin tomando como
valor a n>2 nos muestra
un hola mundo

 Tratamos de demostrar que es imposible construir un programa de

entrada pueda comprobar que lo primero que imprime es hola mundo

 En uno s imprime hola mundo y en el otro no se sabe a ciencia cierta.

Modo carcter y solo utiliza la instruccin printf

h2 recibe un solo programa por su entrada. En donde la respuesta no se puede saber

con certeza por lo tanto se convierte en un problema indecible.