Teoremas de la incompletitud

Universidad Iberoamericana(unibe)

24 de noviembre

2013
Ivn Castillo 10-0815

Introduccin
Teoremas de Incompletitud. Afirma que, bajo ciertas condiciones, ninguna teora matemtica formal capaz de describir los nmeros naturales y la aritmtica con suficiente expresividad, es a la vez consistente y completa. Es decir, si los axiomas de dicha teora no se contradicen entre s, entonces existen sentencias que no pueden probarse ni refutarse. Las teoras aritmticas para las que el teorema es vlido son bsicamente aquellas en las que la deduccin de teoremas puede realizarse mediante un algoritmo. La prueba del teorema es totalmente explcita: en ella se construye una frmula, denotada habitualmente G en honor a Gdel, para la que dada una demostracin de la misma, puede construirse una refutacin, y viceversa. Sin embargo, la interpretacin natural de dicha sentencia en trminos de nmeros naturales es verdadera. El segundo teorema de incompletitud es un caso particular del primero: afirma que una de las sentencias indecidibles de dicha teora es aquella que "afirma" la consistencia de la misma. Es decir, que si es sistema en cuestin es consistente, no es posible probarlo dentro del propio sistema.

Kurt Gdel Kurt Gdel ([kutgdl]) (28 de abril de 1906 Brnn, Imperio austrohngaro, actual Repblica Checa 14 de enero de 1978,Princeton, Estados Unidos) fue un lgico, matemtico y filsofo austriaco-estadounidense.1 Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX. Gdel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su doctorado en la Universidad de Viena. El ms clebre de sus teoremas de la incompletitud establece que para todo sistema axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarroll una tcnica denominada ahora como numeracin de Gdel, la cual codifica expresiones formales como nmeros naturales. Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica clsica, la lgica intuicionista y la lgica modal.

Los teoremas de incompletitud se formulan en el contexto de una teora formal de primer orden. Una teora de primer orden no es ms que un modelo simplificado del razonamiento matemtico, formado por dos elementos:

Un lenguaje formal, que consta de un conjunto de signos, y de una sintaxis, que determina qu cadenas de signos son frmulas bien formadas. Un clculo deductivo, formado por las reglas de inferencia, que definen cuando, de una serie de formulas dadas, una de ellas es consecuencia del resto; y por los axiomas, un cierto conjunto de frmulas (que puede ser infinito).

Con estos elementos se estudia el concepto de demostracin: los teoremas son aquellas frmulas que se obtienen de una cadena de frmulas que, o bien son axiomas, o bien son consecuencia de frmulas anteriores. La consistencia de una teora es un requisito bsico para que sea til, ya que segn el principio de explosin, una teora inconsistente demuestra cualquier frmula. La completitud es una caracterstica "deseable", que permitira que una teora tuviera una "respuesta" para cada "pregunta" que pueda formularse en su lenguaje. El primer teorema de incompletitud establece que, bajo ciertas hiptesis, una teora formal no puede tener ambas caractersticas. La primera de estas hiptesis es que la teora sea aritmtica. Una teora aritmtica es una teora formal que incluye signos capaces de describir los nmeros naturales (como por ejemplo: +, 0), de modo que bien sus axiomas o bien sus teoremas contengan los llamados axiomas de Peano, que son los enunciados bsicos de la aritmtica. La segunda hiptesis es que la teora sea recursiva, lo cual significa bsicamente que el procedimiento para distinguir

las frmulas bien formadas de las que no lo son, si una frmula es consecuencia de otras o no, si una frmula dada es un axioma o no, es un algoritmo, y puede ser llevado a cabo sin ambigedad en un tiempo finito.

Primer Teorema La demostracin de este teorema pasa por construir una cierta frmula, la "sentencia de Gdel" G y demostrar que no puede ser probada ni refutada en T, es decir, es independiente o indecidible. Para ello, dado que en una teora recursiva toda demostracin es un procedimiento algortmico, Gdel desarroll un mtodo para codificar frmulas y demostraciones mediante nmeros y operaciones sobre los mismos, llamado numeracin de Gdel. Una vez hecho esto, la sentencia G es aquella que afirma no existe un nmero x con la propiedad P, donde la propiedad P, al ser examinada a la luz de esta equivalencia entre nmeros y frmulas, significa ser la

demostracin (en la teora T) de G. Por lo tanto, la sentencia G afirma no soy demostrable en la teora T. (Vase el razonamiento detallado ms abajo). El hecho de que G no sea demostrable implica que es cierta pues afirma su propia indemostrabilidad, en la interpretacin natural en que las variables de la teora se interpretan como los nmeros naturales. Esto significa que ninguna teora aritmtica en las condiciones del teorema puede demostrar todos los enunciados verdaderos de la aritmtica. Adems el hecho de que G tampoco sea demostrable significa que si se toma como axioma, la teora resultante T' = T + G es tambin consistente, a pesar de que G es falsa en su interpretacin natural. Toda teora de primer orden consistente tiene un modelo, esto es, un conjunto de objetos matemticos para los que los teoremas de T son afirmaciones verdaderas; y un modelo de T' es a su vez un modelo de T (puesto todos los teoremas de T lo son de T'). Este hecho indica entonces la existencia de modelos no estndar de la aritmtica: cualesquiera que sean los objetos que describe la teora T', verifican todos los teoremas aritmticos, pero no son los nmeros naturales (para los que G es falsa). En otras palabras, el primer teorema de incompletitud asegura que las teoras de primer orden no pueden caracterizar totalmente los objetos que describen. Ntese que tomar G (o su contraria) como axioma da lugar a una nueva teora T' en la que G (o su contraria) es trivialmente demostrable. Sin embargo esto no invalida el teorema, puesto que G (o su contraria) hablan de demostrabilidad en T. T' es tambin incompleta: puede escribirse una nueva sentencia G' que afirma no soy demostrable en T'. En definitiva, para una teora formal que sea consistente y completa debe fallar alguna de las hiptesis: o bien no es recursiva y no hay un algoritmo para distinguir los axiomas del resto de frmulas, como es el caso de las extensiones consistentes que se construyen en el teorema de completitud de Gdel; o bien no son aritmticas, en el sentido de que no describen una porcin lo suficientemente grande de los nmeros naturales y sus axiomas, como la aritmtica de Presburger.

Segundo teorema El enunciado del segundo teorema hace referencia a una frmula, ConsisT, que puede construirse en cualquier teora T (ver ms abajo), y que afirma que la teora T es consistente. La sentencia ConsisT expresa sencillamente, utilizando de nuevo la "equivalencia" entre demostraciones y operaciones numricas, no existe una demostracin de 0 = 1 (la ausencia de demostracin para alguna frmula es equivalente la consistencia de la teora, debido al principio de explosin). Entonces se tiene: Para demostrar que ConsisT no es un teorema, se ha de utilizar una vez ms la numeracin de Gdel y la capacidad expresiva de las teoras aritmticas para convertir el primer teorema de incompletitud en el teorema formal ConsisT x P(x), donde P es la propiedad mencionada anteriormente de ser una demostracin de G. Puesto

que G afirma su propia indemostrabilidad, este teorema formal es equivalente a ConsisT G, por lo que si ConsisT fuera demostrable, por pura deduccin formal G tambin lo sera, lo cual es imposible si T es consistente (segn el primer teorema de incompletitud). El segundo teorema de incompletitud impone serias limitaciones a la hora de demostrar la consistencia de una teora formal T: nunca podr hacerse utilizando nicamente la propia T. Si se utiliza una extensin T' en la que ConsisT pueda demostrarse, la propia consistencia de T' no podr demostrarse ni en T ni en T'.

Demostracin de teoremas La demostracin de los teoremas de incompletitud se basa en tres conceptos: 1. La numeracin de Gdel, que permite traducir las teoras formales a operaciones de aritmtica pura. 2. La potencia expresiva de las teoras formales aritmticas, cuyas expresiones recogen dichas operaciones. 3. El lema diagonal, que permite que las frmulas sean autorreferentes. El enunciado original debido a Gdel, cuya demostracin se esboza en esta seccin, es ms dbil que el presentado arriba, ya que en lugar de la consistencia de la teora T se exige una propiedad ms fuerte, la -consistencia.

Demostracin del primer teorema Sea una teora formal aritmtica y recursiva T -consistente. Sea la frmula z, DEM(z, x), donde DEM es la frmula que expresa la relacin numrica Dem relativa a la teora formal T. Por el lema de diagonalizacin existe una sentencia G con nmero de Gdel g, para la que se demuestra G z, DEM(z, [g]), es decir, que afirma ningn nmero codifica una demostracin (en T) de la frmula representada por g, o de otro modo, no soy demostrable (en T). La negacin de esta sentencia, G, es equivalente a z, DEM(z, [g]), o mi negacin es demostrable (en T). Supngase entonces que G puede demostrarse. Entonces existe un nmero n que cumple Dem(n, g), y en T puede probarse entonces DEM([n], [g]), lo cual implica formalmente G; y esto es imposible si T es consistente. Por tanto no existe una demostracin de G, y se cumple Dem(n, g) para todos los nmeros n, lo cual resulta en un nmero infinito de teoremas formales DEM([n], [g]) para cada numeral [n]. Como T es -consistente, no puede ocurrir entonces que x, DEM(x, [g]) sea un teorema, por lo que G es indemostrable, y T es indecidible.

Demostracin del segundo teorema La demostracin del segundo teorema de incompletitud requiere de un hecho tcnico que Gdel originalmente no prob. Sea una teora T en las condiciones anteriores y sea la frmula ConsisT z, DEM(z, [k]), donde k es el nmero de Gdel de la sentencia 0 = 1. ConsisT afirma que la teora T es consistente (pues deja algo sin demostrar). La versin formal (de la primera parte) del primer teorema de incompletitud puede expresarse como ConsisT y, DEM(y, [g]) y esto es equivalente precisamente a ConsisT G. De modo que, de poder probar formalmente esta sentencia, ConsisT sera indemostrable puesto que se tendra entonces una demostracin de G, en contradiccin con el primer teorema.

Conclusin
En lgica matemtica, los teoremas de la incompletitud de Gdel son dos clebres teoremas demostrados por Kurt Gdel en 1930. En cualquier formalizacin consistente de las matemticas que sea lo bastante fuerte para definir el concepto de nmeros naturales, se puede construir una afirmacin que ni se puede demostrar ni se puede refutar dentro de ese sistema. El segundo teorema de la incompletitud de Gdel, que se demuestra formalizando parte de la prueba del primer teorema dentro del propio sistema. Ningn sistema consistente se puede usar para demostrarse a s mismo.