Indecidibilidad o independencia
Introducción ¡Damas y caballeros, niños y niñas, público en general, les presento el acto final de este pequeño trabajo matemático-informático; con ustedes, la indecidibilidad lógica ! Dejando de lado esta extraña y demasiada informal narrativa, la independencia o indecidibilidad se refiere al caso más extremo de incertidumbre matemática, la cual consiste en la imposibilidad de que una serie de enunciados demuestre o refute un determinado enunciado . De manera un poco más formal, una oración es independiente o indecidible respecto a un conjunto de predicados , teoría o sistema lógico , si este no demuestra ni refuta la oración . La gran complejidad y profundidad de este concepto, que, a primera vista, se ve inofensivo; reside en la esencia misma de la realidad, del todo , puesto que, si analizamos profundamente el verdadero significado de independencia, eventualmente se llegará a la conclusión de que todo conocimiento, en último término, no está objetivamente fund...