Ejemplos con indecidibles
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.
El subsiguiente trabajo combinado de Gödel y Paul Cohen ha dado ejemplos concretos de afirmaciones indecidibles: tanto el axioma de elección como la hipótesis del continuo son indecidibles en la axiomatización estándar de teoría de conjuntos.
Gregory Chaitin produjo afirmaciones indecidibles en teoría algorítmica de la información y de hecho demostró su propio teorema de la incompletud en ese contexto.
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.
