Ejemplos con indecidible
Muchas veces la mejor manera de entender el significado de una palabra, es leer textos donde aparece dicha palabra. Por ese motivo te ofrecemos innumerables ejemplos extraidos de textos españoles seleccionados.
Es indecidible cuándo un término combinatorio general tiene forma normal, cuando dos términos combinatorios son equivalentes, etc.
Para ver que el problema de parada no está en NP es suficiente notar que todos los problemas de NP tienen un algoritmo asociado pero el problema de parada es indecidible.
La existencia de una afirmación indecidible dentro de un sistema formal no es en sí misma un fenómeno sorprendente.
El algoritmo de Kruskal, que tiene implicaciones en informática, también es indecidible a partir de los axiomas de Peano pero demostrable en teoría de conjuntos.
Asimismo, el teorema de Goodstein es una afirmación relativamente simple sobre los números naturales que es indecidible en la aritmética de Peano.
En principio, los teoremas de Gödel todavía dejan alguna esperanza: podría ser posible producir un algoritmo general que para una afirmación dada determine si es indecidible o no, permitiendo a los matemáticos evitar completamente los problemas indecidibles.
Sea la sentencia indecidible construida previamente, y asumamos que la consistencia del sistema se puede probar dentro del propio sistema.
