Independencia (lógica matemática)

De Wikipedia, la enciclopedia libre
(Redirigido desde «Independencia lógica»)

En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.

Una sentencia σ se dice independiente o indecidible en una teoría lógica T si T no demuestra ni refuta σ; esto es, si no es posible probar σ partiendo de T, ni probar que σ es falsa.

Terminología[editar]

El adjetivo indecidible se usa como sinónimo de independiente, por ejemplo, «sentencia indecidible en la teoría T». Sin embargo, indecidible también se usa en el ámbito de la teoría de la computabilidad con otro significado. Un problema indecidible es un problema matemático de respuesta «sí o no» que no puede resolverse mediante un algoritmo. Ambos conceptos son distintos, pero pueden aparecer relacionados entre sí. Por ejemplo, el problema de decisión consistente en determinar si una sentencia es independiente en una teoría T es a menudo indecidible.

También puede ocurrir que «independiente en T» se utilice tan solo en el sentido de «no demostrable en T», en lugar de «no demostrable ni refutable en T», y consistente se utilice entonces en el sentido de «no refutable en T».

Ejemplos de independencia[editar]

Muchas sentencias interesantes en teoría de conjuntos axiomática son independientes de la teoría de conjuntos de Zermelo-Fraenkel (ZF). Los siguientes enunciados son independientes de ZF (siempre que ésta sea consistente):

El teorema de incompletitud de Gödel establece la existencia de proposiciones independientes en cualquier teoría que contenga la aritmética de Peano, tales como:

Además se conocen enunciados puramente aritméticos, que no involucran directamente conceptos lógicos, independientes de dichos axiomas:

Otro ejemplo muy conocido es el quinto postulado de Euclides, que no puede ser demostrado a partir de los restantes axiomas de la geometría euclídea. Esto demuestra la consistencia de las geometrías no euclídeas.

Referencias[editar]

Enlaces externos[editar]