Independencia de sentencias en lógica matemática: teorías de primer orden

Definición precisa

Formalmente, dada una teoría T (conjunto de axiomas) en lenguaje de primer orden y una sentencia φ del mismo lenguaje, decimos que φ es independiente de T si ni φ ni su negación ¬φ son demostrables a partir de T. Es decir:

• T ⊬ φ y T ⊬ ¬φ.

Esta definición presupone que T es consistente; si T fuera inconsistente entonces T probaría cualquier sentencia, y la noción de independencia sería trivial.

Métodos para demostrar independencia

Probar que una sentencia es independiente de una teoría suele hacerse de forma semántica o modelística: se construyen dos modelos (estructuras) del lenguaje, uno en el que φ es verdadera y otro en el que φ es falsa. Gracias al teorema de completitud de Gödel para lógica de primer orden, demostrar que existen modelos distintos equivale a mostrar que ni φ ni ¬φ son consecuencias lógicas de T.

Principales técnicas:

• Construcción de modelos: usar métodos modelísticos y el teorema de completitud para exhibir modelos de T ∪ {φ} y de T ∪ {¬φ} (mostrando así la consistencia relativa de ambas extensiones respecto de T).
• Compactitud y ultraproducidos: aplicar el teorema de compactitud o construcciones con ultrapoderes para obtener modelos con propiedades deseadas.
• Forzamiento (forcing): técnica introducida por Paul Cohen, utilizada principalmente en teoría de conjuntos para construir modelos de ZF (o ZFC) donde una sentencia concreta (por ejemplo la hipótesis del continuo) es verdadera o falsa.
• Pruebas relativas de consistencia: en muchas demostraciones de independencia se prueba que si T es consistente entonces T+φ y T+¬φ también lo son (o al menos que no se deriva una contradicción en cada extensión).

Ejemplos clásicos

• Postulado de las paralelas: el postulado euclidiano de las paralelas es independiente del resto de los axiomas de la geometría de Euclides; esto dio lugar a las geometrías no euclidianas (hiperbólica y elíptica).
• Hipótesis del continuo (CH): la CH es independiente de los axiomas de la teoría de conjuntos ZFC. Gödel demostró que CH no contradice ZFC (consistencia relativa mediante el constructible L) y Cohen demostró que ¬CH tampoco contradice ZFC (mediante forzamiento).
• Oraciones de Gödel: el teorema de incompletitud de Gödel garantiza que en cualquier teoría recursivamente axiomatizable y suficientemente expresiva para la aritmética hay oraciones que no son ni demostrables ni refutables dentro de la teoría. Estas oraciones muestran límites intrínsecos de la demostrabilidad, aunque su estado en el "modelo estándar" puede diferir.

Diferencia entre independencia e indecidibilidad (en computabilidad)

Es importante distinguir dos usos del término "indecidible" o "indecidibilidad":

• En teoría de la demostración, una sentencia es independiente de T si T no prueba ni φ ni ¬φ (definición anterior).
• En teoría de la computación, una teoría (o un problema) es decidible si existe un algoritmo que, dada una sentencia, decide en tiempo finito si la sentencia pertenece o no al conjunto de teoremas de la teoría. Una teoría puede tener oraciones independientes pero ser recursivamente enumerable (sus teoremas listables), y aun así no ser decidible.

Así, llamar "indecidible" a una sentencia en el sentido informal puede provocar confusión con la noción de indecidibilidad algorítmica; conviene usar "independiente" para el sentido lógico.

Implicaciones y consecuencias

La existencia de sentencias independientes muestra que los axiomas elegidos determinan hasta cierto punto qué verdades se pueden demostrar: muchas preguntas fundamentales requieren axiomas adicionales para resolverse desde la teoría base. En práctica matemática esto conduce a:

• Elegir extensiones axiomáticas (añadir φ o ¬φ) según conveniencia o intuición matemática.
• Investigar la fuerza relativa de axiomas mediante pruebas de consistencia relativa e independencia.
• Reconocer límites de los formalismos: algunos problemas no se resuelven únicamente con los axiomas habituales, y la teoría puede ser ampliada o estudiada en distintos modelos.

Observaciones finales

La independencia es una noción central en la fundación de las matemáticas y en la lógica moderna. Se articula a través de herramientas semánticas y sintácticas (completitud, modelos, consistencia relativa, forzamiento) y obliga a distinguir entre lo que es verdadero en una interpretación concreta (por ejemplo, el modelo estándar de los números naturales) y lo que es demostrable a partir de un conjunto dado de axiomas.