Universidad Central de Venezuela Facultad de Humanidades y Educacin Escuela de Filosofa Asignatura: El Teorema de Incompletitud de Gdel y sus consecuencias filosficas.

Prof. Franklin Galindo Mayl Acevedo. C.I.: 19.897.720

El Teorema de Gdel
Introduccin: La posibilidad de axiomatizar distintas reas del saber, como la fsica y la aritmtica, por ejemplo, resulta atractiva a la hora de estudiar las caractersticas de un conjunto de conocimientos relacionados a un tema en especfico. Sin embargo, el trabajo de Gdel demostr que el mtodo axiomtico tiene limitaciones propias que le impiden axiomatizar incluso la aritmtica ordinaria de los nmeros naturales. He aqu la importancia del teorema de incompletitud de Gdel, ya que demuestra no slo que hay reas de la matemtica imposibles de axiomatizar por completo, sino que tambin es posible que existan contradicciones internas en distintas ramas de la misma.

El problema de la consistencia: Hay dos hechos importantes que llevaron a la aparicin del problema de la consistencia: la formalizacin de la matemtica y el descubrimiento de que puede demostrarse la imposibilidad de demostrar una proposicin dentro de un sistema. Esto despert la necesidad de comprobar que nunca se obtendran teoremas contradictorios de un conjunto de axiomas, es decir, poder demostrar la consistencia de un sistema axiomtico. As, se ide el mtodo de modelos, que consiste en dar con una interpretacin que haga verdaderos cada postulado abstracto del sistema. Sin embargo, este mtodo no soluciona por completo el problema, ya que traslada la pregunta por la consistencia a un nuevo

terreno, por lo que surge la idea de buscar una forma de demostrar de manera absoluta la consistencia de los sistemas axiomticos en general.

Pruebas absolutas de consistencia: David Hilbert dio una respuesta al problema de la consistencia. Su mtodo exige primero la completa formalizacin del sistema cuya consistencia se busca demostrar, lo que deja expuesta su estructura en forma de hileras de operaciones deductivas sin un correlato conceptual. De esta estructura se debe explicitar su vocabulario, reglas de formacin y transformacin, y axiomas. Para realizar ste anlisis de manera correcta, es necesario que se involucren un nmero finito de propiedades de la estructura y de operaciones con frmulas (lo que se denominar como procesos finitistas). Si se cumple con este requisito, entonces al demostrar que es imposible derivar una contraccin de las frmulas bien formadas de un sistema, utilizando sus reglas operacionales, se demuestra su consistencia, esta vez de manera absoluta.

La codificacin sistemtica de la lgica formal: La lgica tradicional es incompleta e incapaz de dar cuenta de muchos principios deductivos usados en demostraciones matemticas. Es a partir de Boole que se da un renacimiento de la lgica, ya que l busca desarrollar una notacin que permita trabajar con tipos de deduccin ms generales y variados. Esta idea es tomada luego por Frege y posteriormente por Rusell, quienes desarrollan una notacin an ms amplia con el objetivo de demostrar que la matemtica es slo una parte de la lgica. Es aqu cuando aparece el Principia Mathematica de Russell y Whitehead, el cual proporciona un sistema de notacin capaz de codificar todas las proposiciones puramente matemticas (cumpliendo as el primer requisito del mtodo de Hilbert) y explicitar la mayora de las reglas de deduccin utilizadas en demostraciones matemticas, trasladando el problema de la consistencia de la matemtica a la lgica. El problema con este sistema sera que no podemos asegurar que no reproduzca las antinomias de la teora cantoriana de los nmeros transfinitos.

Un ejemplo de prueba absoluta de consistencia: Se demuestra la consistencia de un sistema axiomtico de la lgica proposicional. Para esto, se prueba que basta con demostrar que existe al menos una frmula que no es un teorema dentro del sistema. As, se busca una propiedad que sea comn a todos los axiomas, sea hereditaria y que no pertenezca a toda frmula del sistema. Tomamos entonces la propiedad de ser una tautologa (ser verdadera sin importar la verdad o falsedad de sus componentes elementales). Efectivamente, cumple con los dos primeros requisitos expuestos, y adems, podemos construir fcilmente una frmula que no la cumpla, como por ejemplo pvq. As, como la propiedad designada es comn a todos los axiomas y adems es hereditaria, la frmula pvq no puede ser derivada de los axiomas. Por lo tanto, el sistema es consistente. Finalmente, est demostrado que el sistema para la lgica proposicional es completo, es decir, que toda frmula tautolgica es un teorema. Anteriormente, se crea que el sistema axiomtico dado para la aritmtica era completo, o se poda completar agregando un nmero finito de axiomas a la lista original. El teorema de incompletitud de Gdel fue lo que demostr lo contrario.

La idea de representacin y su empleo en las matemticas: Para desarrollar su demostracin, Gdel utiliz el razonamiento implicado en la paradoja richardiana, propuesta por el matemtico francs Jules Richard en 1905. Esta se construa ordenando en una serie todas las definiciones (en un solo lenguaje determinado) puramente aritmticas de los nmeros cardinales, utilizando primeramente la cantidad de letras de la definicin y segundo, el orden lexicogrfico del diccionario. Luego, se representa cada definicin con un nmero natural segn su lugar en la serie y se define la propiedad de ser un nmero richardiano, que consiste en no cumplir la propiedad que se representa segn el orden dado en la serie de definiciones. As, sea n el nmero que representa dicha propiedad, llegamos a una contradiccin, pues n es richardiano si, y solamente si, n no es richardiano. Obviamente, esta paradoja se elimina si consideramos que la definicin de la propiedad de ser richardiano no pertenece a la serie inicialmente

proyectada. Sin embargo, no carece de importancia, pues implcita en su construccin, est la idea de la posibilidad de representar declaraciones metamatemticas acerca de un sistema formal amplio, dentro del mismo sistema.

Las pruebas de Gdel: Primero, Gdel describe un clculo formalizado, capaz de contener todas las acostumbradas notaciones aritmticas y las relaciones aritmticas conocidas y demuestra que es posible asignar a cada signo elemental, frmula y prueba del clculo, un nico nmero, al que se nombrar como su nmero de Gdel, lo cual permite construir una proposicin metamatemtica acerca de las expresiones y relaciones del clculo como una proposicin acerca de sus correspondientes nmeros y relaciones aritmticas.

Seguidamente, construye la frmula G: (x)Dem(x,sust(n,13,n)), que bsicamente representa la proposicin La frmula (x)Dem(x,sust(n,13,n)) no es demostrable, o sea, bsicamente afirma Yo no soy demostrable. As, G es demostrable si slo si G tambin lo es. Por lo tanto, si los axiomas del sistema formalizado de la aritmtica son consistentes, las frmulas G y G no pueden ser derivadas de los axiomas. Por lo que, si los axiomas son consistentes, G es formalmente indecidible. Ahora, asumiendo la consistencia de la aritmtica, se prueba la verdad de la proposicin metamatemtica La frmula G no es demostrable, que es representada dentro de la aritmtica por G. Debido a la completa aritmetizacin de la metamatemtica, toda proposicin metamatemtica corresponde a una frmula aritmtica verdadera, por lo que G debe ser tambin verdadera. As, queda demostrado que si los axiomas son consistentes, no son completos, pues existira una frmula verdadera (G) que no es demostrable dentro del sistema. As, los axiomas de la aritmtica son esencialmente incompletos, ya que aunque se introduzca G como un nuevo axioma, todava podramos construir otra frmula aritmtica verdadera indemostrable usando el mismo procedimiento empleado en la construccin de G. As, aunque se fueran ampliando de esta forma los axiomas, siempre se podrn construir frmulas verdaderas de la aritmtica indemostrables dentro del sistema.

Finalmente, se parte de la frmula A: (y)(x)Dem(x,y), que representa la propiedad metamatemtica que define la consistencia de un sistema, la cual es Existe por lo menos una frmula de la aritmtica para la cual ninguna sucesin de frmulas constituye una prueba. Se construye as la frmula (y)(x)Dem(x,y)(x)Dem(x,sust(n,13,n)), es decir, AG. Esta representa la propiedad metamatemtica Si la aritmtica es consi stente, es incompleta. Se puede probar que esta frmula es demostrable, pero dicha prueba no se expone en el libro. Ahora, si suponemos que A es formalmente demostrable, como AG es demostrable, por la regla de separacin, G es demostrable. Y como G es demostrable slo si el clculo es inconsistente, tenemos que si la aritmtica es consistente, A no es demostrable. As, queda demostrado que la consistencia de la aritmtica no puede ser demostrada por ningn razonamiento metamatemtico representable dentro del formalismo de la aritmtica. Esto no quiere decir que sea imposible dar una prueba metamatemtica de la consistencia de la aritmtica, sino ms bien que es imposible representarlas dentro del clculo aritmtico.

Reflexiones finales: El teorema de incompletitud de Gdel nos permite percatarnos de, por ejemplo: la improbabilidad de poder dar una prueba absoluta de consistencia tipo Hilbert para todo sistema deductivo (especficamente, los suficientemente amplios para contener toda la aritmtica); un tratamiento axiomtico de la teora de los nmeros es incapaz de abarcar todas las verdades aritmticas; el proceso de la prueba matemtica no coincide con la explotacin de un mtodo axiomtico formal. Tambin, podemos basarnos en el teorema de completitud para afirmar que el cerebro humano parece incorporar una estructura de reglas de operacin mucho ms poderosas que la estructura de las mquinas articiales, lo que no quiere decir que no se pueda explicar algn da la materia viva y la razn humana en trminos fsicos y qumicos. As mismo, el teorema de Gdel no implica que hayan verdades que sern siempre desconocidas, o que no haya manera de probarlas. Lo que s deja claro es la imposibilidad de reducir los recursos del intelecto humano a una formalizacin absoluta.