El Teorema de Indecibilidad de Church y el Programa de David Hilbert

Tres artículos que hemos realizado Ricardo Da Silva y mi persona sobre el Teorema de Indecibilidad de Church y el Programa original de David Hilbert son los siguientes:

(1) Artículo 1: "El Teorema de Indecibilidad de Church (1936): Formulación y Presentación de las ideas principales de su demostración". . Apuntes Filosóficos. Vol 26, N 50 (2017). Se puede encontrar y bajar en el siguiente enlace de la web "Saber UCV": http://saber.ucv.ve/ojs/index.php/rev_af/issue/view/1641/showToc

Resumen: "El Teorema de indecidibilidad de Church es uno de los resultados meta-teóricos de mediados de la tercera década del siglo pasado, que junto a otros teoremas limitativos como los de Gödel y Tarski, han generado todo un sinfín de reflexiones y análisis tanto en el marco de las ciencias formales, esto es, la matemática, la lógica y la computación teórica, como fuera de ellas, en especial la filosofía de la matemática, la filosofía de la lógica y la filosofía de la mente. Nos proponemos, como propósito general del presente artículo, formular el Teorema de indecidibilidad de Church y presentar las ideas principales de su demostración. Para llevar a cabo el primer objetivo necesitamos introducir y explicar las nociones de función recursiva y la numeración de Gödel, que permitirán enunciar de manera formal y rigurosa el Teorema de Church. Luego que enunciemos el Teorema de indecibilidad de Church de manera formal y rigurosa, pasaremos a presentar las ideas principales de la prueba del Teorema de indecidibilidad de Church para la Lógica de primer orden, en la cual se utiliza el sistema axiomático de Robinson para la aritmética y cuatro hechos sobre él mismo: (a) En el sistema de Robinson para la aritmética las funciones recursivas son representables, (b) El sistema de Robinson es indecidible, (c) El número de axiomas propios del sistema de Robinson es finito y (d) El cálculo lógico del sistema de Robinson es igual (formalmente) al cálculo de la lógica de primer orden."

                                                            Alonzo Church (1903-1995)

                                                         David Hilbert (1862-1995)

(Nota relacionada con los tres artículos: Quisiera precisar que mi concepción filosófica con respecto  a la matemática es "platonista matemática" vinculada totalmente con el Pitagorismo, con el platonismo matemático de Cantor, con  el platonismo matemático [sofisticado] de Gödel, con el platonismo matemático moderado de Bernays, con la concepción de Galileo Galilei sobre la relación de la matemática con Dios y el mundo físico, con la concepción de la matemática expresada por John von Neumann en su artículo "El Matemático", con los 13 Principios de la Fe Judía compilados por Maimónides, con la Metafísica Mística Judía (Kabbalah), con el Arte, con la Ética, con la Aleatoriedad, con la Física cuántica, con la Fe y la Razón, y con el "Sólo sé que no se nada" de Sócrates. Para más detalles al respecto pueden escribirme por mi correo electrónico franklingalindo178@gmail.com . Ver la entrada de este blog que se llama "Dibujo de Escher donde se alude al INFINITO y alguna bibliografía sobre tal concepto (o entidad metafísica) desde una perspectiva matemática", allí comento un poquito sobre el tema. He tratado  detalladamente   al platonismo matemático-en la medida de mis posibilidades-en mi trabajo de investigación  llamado "Algunos tópicos de Lógica matemática y los Fundamentos de la matemática". (Vale la pena resaltar el importante papel que juega la "Intuición Matemática" en el platonismo matemático). Dicho trabajo se puede encontrar y bajar en el siguiente enlace de la web de "Saber UCV":  http://saber.ucv.ve/handle/123456789/16943 . Un resumen del mismo es el siguiente: "En este trabajo  filosófico-matemático  se estudian cuatro tópicos de la Lógica matemática:  El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del  mismo  es analizar  la importancia que tienen  dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará  en el  ámbito  de la Matemática, de la Metamatemática y de la Filosofía de la matemática. El desarrollo de la investigación  arrojó como resultado que  tales tópicos son  muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el  porqué (al final de cada sección  y al final del mismo). ")

(2) Artículo 2: "Fragmentos decidibles e indecidibles de la lógica de primer orden". Apuntes Filosóficos. Vol 26, N 50 (2017). Se puede encontrar y bajar en el siguiente enlace de la web "Saber UCV": http://saber.ucv.ve/ojs/index.php/rev_af/issue/view/1641/showToc

Resumen: "El siguiente artículo tiene tres objetivos: (1) Presentar una actualización de una prueba de la decidibilidad de la Lógica de predicados monádicos en el contexto de la teoría de modelos contemporánea; (2) Mostrar ejemplos de fragmentos decidibles e indecidibles dentro de la Lógica de primer orden, ofreciendo una demostración propia, que usa una sugerencia de Nerode y Shore en su texto "Logic for Applications", del siguiente teorema: Son decidibles todas las fórmulas de la Lógica de primer orden tal que su forma normal prenexa quede de la siguiente manera: ∀x1,…,∀xn∃y1,…,∃ym φ(x1,…,xn,y1,…,ym); (3) Presentar un teorema que caracteriza la validez de la Lógica de Primer orden mediante la tautologicidad de la Lógica proposicional, dicho resultado es de interés, pues inmediatamente surge la duda de cómo conciliar tal caracterización con el Teorema de indecidibilidad de la Lógica de Primer orden de Alonzo Church (1936)".

Nota: La cláusula (2) del resumen anterior no aparece redactada en el artículo original como se está haciendo en esta entrada, sin embargo, será publicada de esta manera como "Fe de errata" muy pronto (Ricardo ya lo ha corregido en su web de "Academia.edu" agregando dicha fe de errata, falta sólo agregarla en la web de la revista "Apuntes filosóficos" con los editores de la misma), pues la redacción que aparece en la versión original no es la correcta, hubo un error involuntario. Esta aclaratoria también vale en el lugar de la introducción donde se habla sobre el tema. En la demostración del teorema si aparece conforme a la fe de errata. Cuando se lea el artículo por favor tener presente esta fe de errata.

(3) Artículo 3: "El Programa original de David Hilbert y el problema de la decibilidad". Episteme NS, Vol. 37, N 1 (2017). Se puede encontrar y bajar en el siguiente enlace de la web "Saber UCV": http://saber.ucv.ve/ojs/index.php/rev_ens/issue/current

Resumen: "En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decibilidad de los problemas matemáticos y en específico la decibilidadd de la lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decibilidad de la lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert".