EL TEOREMA DE GDEL Introduccin En los cursos de matemticas y sus distintas ramas podemos encontrarnos con teoremas y corolarios cuyas

s demostraciones requieren del dominio de algunas tcnicas de demostracin matemtica. stas incluyen mtodos como: pruebas contrapositivas, pruebas por contradiccin, pruebas por induccin. Pero tambin, en algunas ocasiones, se encuentran resultados matemticos cuya demostracin no puede ser probada a partir de los axiomas y resultados previamente establecidos como ciertos, por ejemplo tomemos la siguiente conjetura Conjetura de Goldbach: Cualquier entero par positivo mayor que 2 es la suma de dos nmeros primos no necesariamente distintos: Ejemplos de esto puede ser los siguientes: 4 = 2 + 2; 6 = 3 + 3; 8 = 5 + 3; 10 = 5 + 5; 460 = 341 + 59, etc. Podemos continuar expresando todos los nmeros enteros como la suma de dos primos? La respuesta an no se conoce a pesar de trabajos extensos de muchos matemticos. La conjetura de Goldbach es una de muchas conjeturas matemticas cuyo valor de verdad no ha sido posible determinar. Por supuesto, tal conjetura puede es cierta o falsa. Considerando la gran cantidad de tcnicas de demostracin, parecera lgico pensar que eventualmente alguien podra desarrollar una prueba o bien encontrar un contraejemplo que muestre que tal conjetura es falsa. Hasta hace poco tiempo, la actitud de muchos matemticos ha sido el considerar que cualquier conjetura matemtica podra, mediante el suficiente esfuerzo, ser resuelta de una manera u otra, sin embargo el trabajo de Kurt Gdel cambi esta percepcin. Para entender el trabajo de Kurt Gdel debemos primero discutir la naturaleza de los sistemas matemticos. Cada resultado en matemticas ocurre en un contexto. Por ejemplo un teorema en geometra puede ser totalmente entendido cuando conocemos los trminos y significados del teorema, estos trminos pueden ser definidos previamente en el contexto o pueden ser aceptados como trminos no definidos.

Los trminos no definidos son trminos que son fundamentales y que no podemos describir a partir de otros trminos ms bsicos, trminos tales como lnea, punto, igual y entre son trminos tpicos de los no definidos Algunas veces no podemos probar un teorema sin la ayuda de teoremas previos o de axiomas (o postulados). Los axiomas son enunciados que se aceptan como verdaderos debido fundamentalmente a que ellos no pueden ser probados a partir de resultados ms bsicos. Por ejemplo, en geometra, un axioma tpico es: a travs de dos puntos pasa una sola recta Los trminos no definidos, las definiciones y los teoremas forman un sistema matemtico Ejemplo 1 Despus de aceptar que a travs de dos puntos pasa una sola recta as como los trminos no definidos como punto, recta, etc. Podemos introducir el trmino punto medio. El punto medio entre dos puntos dados se define como el nico punto que divide el segmento de recta que une los dos puntos dados en dos partes iguales. Adicionalmente, una vez que hemos definido trminos como tringulo rectngulo o hipotenusa podemos probar teoremas como el de Pitgoras. Ejemplo 2 Uno de los axiomas de Euclides conocido como el postulado de las paralelas es: Si l es una recta en un plano dado y P es un punto del plano que no est sobre l, entonces existe una y solo una recta que pasa por P paralela a l. Este axioma parece razonable sin embargo an desde hace mucho tiempo y aun en el siglo XIX existeron muchos esfuerzos, invertidos infructuosamente, para demostrar este postulado como consecuencia de los dems axiomas y definiciones. La negacin de este postulado dio como resultado la obtencin de geometras no euclidianas, con resultados extraos para el sistema euclidiano desarrollado hasta esas fechas. Una de las posibilidades para la negacin del postulado de las paralelas fue el siguiente postulado de las multiparalelas

Postulado de las multiparalelas: Si l es una recta en un plano dado y P es un punto del plano que no est sobre l, entonces hay ms de una recta que pasa por P y que es paralela a l. Este postulado llev a la creacin de la geometra hiperblica, desarrollada independientemente por Nikolai Lobachevsky y Jnos Bolyai. En esta geometra se puede probar, por ejemplo, que la suma de los ngulos internos de un tringulo es menor a 180 Otro tipo de geometra no euclidiana se desarroll a partir de otra negacin del axioma de las paralelas, que es el postulado de la no existencia de paralelas Postulado de la no existencia de las paralelas: Si l es una recta en un plano dado y P es un punto del plano que no est sobre l, entonces no existe una recta que pase por P y que sea paralela a l. Esta geometra fue desarrollada por Bernard Riemann y en esta geometra se puede probar que la suma de ngulos interiores de un tringulo es mayor a 180 Consistencia de los sistemas matemticos A partir de las observaciones de la geometra no euclidiana, los matemticos comenzaron a desarrollar sistemas matemticos abstractos a partir de axiomas, trminos no definidos, definiciones y teoremas derivados de lo anterior, todo esto sin asociarlos con la realidad. Esto llev a la dificultad siguiente: Una vez que se elige un conjunto arbitrario de axiomas, cmo podemos estar seguros de que el sistema tiene sentido?, esto es cmo estar seguro de que no existe contradiccin entre los axiomas elegidos? Es importante saber que en cualquier sistema matemtico haya consistencia, esto es que no existan contradicciones internas. Ejemplo 1 Consideremos el siguiente conjunto de axiomas y de trminos no definidos: a) Existen exactamente tres puntos en el sistema b) Hay menos que tres lneas en el sistema c) Cada par de puntos estn exactamente sobre una lnea d) No todos los puntos estn sobre la misma lnea

Ntese que el trmino lnea est usado como un trmino general, lo cual no necesariamente implica que la lnea consista de un nmero infinito de puntos. Estos axiomas no son consistentes, puesto que la nica manera de que los tres primeros axiomas se satisfagan simultneamente es que los tres puntos estn en la misma lnea, lo cual contradice el cuarto axioma. Una manera de estar seguro de que ninguno de los axiomas, de un sistema matemtico dado, no se contradicen entre s es exhibir un modelo para el sistema en donde se satisfacen todos los axiomas simultneamente. Ejemplo 2: Consideremos el siguiente conjunto de axiomas con trminos no definidos como recta y punto a) Existen al menos dos lneas b) Cada lnea contiene al menos dos puntos c) Para cualquiera dos puntos distintos existe una lnea que contiene al primer punto pero no al segundo Debe notarse que el ltimo axioma es simtrico, puesto que si invertimos el orden de los puntos, el tercer axioma insiste en que existe una lnea que contiene el segundo punto original pero que no contiene el primer punto original Un modelo de cuatro puntos y cuatro lneas puede ser el siguiente: Lnea 1 A Lnea 3 Lnea 2 B

Lnea 4

Por ejemplo, dados los puntos A y B la lnea 1 pasa a travs de A pero no de B, mientras la lnea 2 pasa a travs de B y no de A Los modelos, en sistema matemtico, pueden involucras un gran nmero de objetos por lo cual puede ser extremadamente difcil construir tal modelo. Esto se puede ver, por ejemplo, en la aritmtica, al suponer que se quiere un modelo que incluya un axioma que declara que para cada entero existe un entero siguiente ms grande.

Si queremos construir este sistema entonces, para cada entero x que se enliste se debe enlistar tambin al entero y prximo inmediato, y para este entero y debemos enlistar el entero z prximo inmediato y as sucesivamente. Esto nos llevar a exhibir un conjunto infinito de enteros sucesivos, el cual fsicamente es imposible escribir. A. Whitehead y B. Rusell publicaron Principia Mathemtica, trabajo cuyo objetivo es la derivacin de la aritmtica a partir de los principios de la lgica matemtica, de modo que la aritmtica pudo ser establecida consistentemente a partir de las leyes de la lgica. Este esfuerzo de Whitehead y Russell resalta en su importancia debido a que, con el paso del tiempo, los sistemas matemticos llegaron a tener muchos enunciados contradictorios a si mismos (paradojas). Tales paradojas llegaron a preocupar debido a que sus implicaciones llegaban a mostrar que las matemticas forma un sistema inconsistente. Una paradoja tpica es la de Russell. Para entenderla, es necesario tener en cuenta que en las definciones de conjuntos anteriores a este trabajo, exista la posibilidad de llegar a contradicciones, tales contradicciones se detectan cuando se sabe que si X es un conjunto, entonces X mismo es elemento de X Por ejemplo si describimos el conjunto X de todos los conjuntos de ms de un elemento, entonces X contiene ms de un elemento. Si pensamos en esos conjuntos como elementos de X, vemos que X mismo es elemento de X, por lo que X X. Paradoja de Russell: Sea S el conjunto de todos los conjuntos que no son elementos de si mismos, es decir S={X| XX}. Por tanto se cumple que SS o bien que SS Cualquiera de las dos posibilidades nos llevan a una contradiccin pues si S S entonces por definicin de S, SS, por otro lado si SS entonces por definicin de S, S S. En el trabajo de Whitehead y Russell se evitaron los problemas de inconsistencia y de paradojas mediante el "traslado" de esos problemas a la consistencia de principios lgicos bsicos. Si tales principios son consistentes, entonces cualquier sistema matemtico derivado de esos principios lgicos deber ser tambin consistente.

 Teorema de indecidibilidad de Gdel En 1931 Kurt Gdel public su trabajo "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" en donde se prueba el siguiente teorema: Teorema de indecidibilidad de Gdel Cualquier sistema conteniendo todos los teoremas de aritmtica es un sistema incompleto, esto es, existen enunciados verdaderos dentro del sistema que no pueden ser probados como tal Esto quiere decir que cualquier sistema matemtico lo suficientemente poderoso que contenga todas las leyes de la aritmtica debe contener enunciados verdaderos pero que no puede encontrarse prueba alguna usando todos los resultados disponibles en el sistema Otra forma de expresar el teorema de Gdel, es decir que dado un sistema matemtico, deben haber enunciados que nunca podremos decidir si son ciertos o falsos y an si son ciertos no podremos encontrar una manera de probarlo con los recursos disponibles en el sistema Una pregunta que resulta a partir de este teorema es la siguiente: cmo podemos saber que un enunciado es verdadero si no podemos probar que es verdadero? El argumento principal de teorema de Gdel para demostrar la indecidibilidad se basa en la numeracin de Gdel, que es la siguiente Nmeros de Gdel Gdel asign a cada smbolo, funcin o prueba de un sistema matemtico, un nmero entero positivo, denominado nmero de Gdel, por ejemplo tenemos la siguiente tabla Smbolo Significado Nmero de Gdel 0 cero 1 f sucesor 3 ~ no 5 o 7 Para todo 9 Parntesis izquierdo 11 ( ) Parntesis derecho 13 y 15 existe 17 = igual 19 x variable 21 y variable 23
6

Los nmeros naturales despus del cero se representan como f0 (uno), ff0 (dos), fff0 (tres), ...etc El nmero de Gdel es asignado a cada una de estas frmulas mediante productos de primos sucesivos (2,3 5, 7, 11,...) Ejemplo 1. Los nmeros de Gdel de cada uno de los smbolos de la frmula fff0 (tres) son 3 3 3 1 y el nmero de Gdel asignado a esta frmula es 23335371 2. Los smbolos de la frmula x(x = f0) son 17,21, 11, 21, 19, 3,1 y 13 respectivamente, por lo que el nmero de Gdel de esta frmula es 21732151172111191331711913
x =f0 Consideremos la secuencia S = (f 0 = 0) ( x = 0)

3.

Primero en encontramos el nmero de Gdel de cada proposicin individual Para la proposicin x = f0 el nmero de Gdel es A = 2213195371 Para la proposicin ~(f0 = 0) el nmero de Gdel es B =25311537111191311713 Para la proposicin ~(x = 0) el nmero de Gdel es C = 253115217191111313 Entonces el nmero de Gdel de la secuencia S es 2A 3B 5C Estos ejemplos ilustran la idea de que todo smbolo bsico, variable, secuencia de smbolos y variables (es decir proposiciones) y secuencias de proposiciones pueden expresadas de manera nica mediante un nmero de Gdel. Recprocamente, se puede mostrar que dado un nmero cualquiera de Gdel, podemos reconstruir la secuencia de smbolos correspondiente, es decir que existe una correspondencia unvoca entre las secuencias vlidas de smbolos y los nmeros de Gdel. Algunas precisiones en el teorema de Gdel Consideremos todas las posibles frmulas de un sistema matemtico que tienen exactamente una variable x. Tales frmulas pueden ser ordenadas crecientemente de acuerdo a su nmero de Gdel. Denotemos por R(n) la n-sima frmula. En el trabajo de Gdel hay inters por saber qu pasa si una sucesin particular de la forma fff...f0 que representa el nmero n, en la frmula de Gdel R(n), es sustituida por la variable x, esto produce una frmula etiquetada por Sust[n, R(n)], donde Sust representa la sustitucin.

Esta frmula puede ser o demostrable dentro del sistema matemtico, esto es puede o no haber una secuencia de proposiciones previamente establecidas que prueban lgicamente la frmula Sust[n, R(n)] Supngase que la frmula Sust[n, R(n)] es demostrable, para un n particular, esto se expresa en la forma Dem(Sust[n,R(n)]) Los argumentos de Gdel Consideremos como Z el conjunto de todos los enteros n para los cuales Dem(Sust[n,R(n)]) es verdadero, esto es aquellos para los cuales existe una secuencia de proposiciones que prueban lgicamente el enunciado obtenido cuando la sucesin fff...f0 de n es sustituida por la variable x en la n -sima frmula de Gdel A la expresin ~(x Z) no es posible decidir inmediatamente que le corresponde un nmero de Gdel, pero precisamente Gdel mostr que existe una manera de expresar esa frmula en trminos de smbolos bsicos del sistema, por tanto supongamos que ~(x Z) tiene un nmero de Gdel y que es la q - sima frmula de Gdel (en el orden expresado anteriormente). Finalmente denotemos por G a la frmula Sust(q,R[q]), entonces se debe cumplir que alguna de las dos proposiciones G o ~G es verdadera, sin embargo: Teorema Ninguna de las dos proposiciones G o ~G es un enunciado demostrable Demostracin: Demostraremos el teorema por contradiccin: Supngase que G es demostrable, entonces Dem[Sust[q, R(q)]] es verdadero, entonces por definicin de Z, q Z. Pero al sustituir q en R(q) obtenemos el enunciado demostrable ~(q Z), con lo que obtenemos simultneamente los enunciados (q Z) y ~(q Z), lo cual constituye una contradiccin. Por otro lado supongamos que ~G es demostrable, entonces G no es un enunciado verdadero y por tanto no demostrable. Entonces Dem[Sust(q,R(q))] no es verdadero de lo cual sigue que q Z es un enunciado demostrable, pero dado que G no es demostrable, al sustituir q en R(q) resulta el enunciado

no demostrable ~(q Z), resultando que q Z es un enunciado demostrable y que ~(q Z) es no demostrable, lo cual genera una contradiccin. Con esto hemos mostrado que ninguna de las dos proposiciones G o ~G es un enunciado demostrable Aplicaciones del Teorema de indecidibilidad de Gdel Resumiendo, el teorema de Gdel nos dice que no siempre es posible encontrar una demostracin de un enunciado, dentro del sistema matemtico, por lo cual no podemos asegurar si ciertas conjeturas son ciertas. Es posible agrandar el sistema matemtico de modo que tenga ms poder y podamos encontrar demostraciones para ciertas conjeturas, pero de nuevo el teorema de indecibilidad se puede volver a aplicar para este nuevo sistema con otras conjeturas. En aos recientes, las implicaciones del teorema de Gdel se ha extendido la ciencia de la computacin, especialmente en el rea de la inteligencia artificial. Si imaginamos una computadora a la que le damos un conjunto inicial de frmulas (axiomas) y un conjunto de principios lgicos (operaciones) para calcular frmulas nuevas (teoremas) entonces, debido al teorema de Gdel, no importa cun poderosa sea la computadora, siempre habr algunos enunciados que la computadora no ser capaz de derivar. Esto destruye el mito de que cualquier problema matemtico puede ser resuelto por una computadora suficientemente poderosa. De esta manera, Alan Turing, extendi el teorema de Gdel para mostrar que no existe un algoritmo general que siempre pueda predecir si un programa de computadora seleccionado al azar, pueda correr o no En 1961, Anthony Lucas trat de usar el teorema de Gdel para mostrar que una mquina nunca ser capaz de pensar como un humano, por lo cual los objetivos de la inteligencia artificial son imposibles.

TEORA DE CDIGOS Los errores en la transmisin de datos pueden ocurrir cuando en los canales de comunicacin existe "ruido", o existe interferencia elctrica, por errores humanos o simplemente por razones de falla de equipo. Es, por tanto, importante asegurar la confiabilidad de las transmisiones ya sea de archivos muy grandes o de transmisiones a largas distancias. Para garantizar la confiabilidad de las transmisiones as como la recuperacin de informaciones degradadas se utilizan mtodos derivados de las teoras de codificacin. Mediante estas teoras, los mensajes son codificados en cadenas de manera que los errores en la transmisin de datos puedan ser detectados. La teora de cdigos incluye el estudio de la codificacin de datos, la deteccin de errores y la correccin de stos. Cdigos para la deteccin de errores Una manera simple de detectar errores cuando un mensaje (en forma de cadenas) es transmitida consiste en aadir un smbolo para verificar la paridad de una cadena. Esto es si la cadena tiene un nmero par de unos, se aade un 0 al final de la cadena y si la cadena tiene un nmero impar de unos, se aade un 1 al final de la cadena. Esto puede simbolizarse de la siguiente manera: dada la cadena x 1x2x3...xk, el smbolo de verificacin es xk+1 donde xk+1= (x1+x2+...+xk)mod2 La verificacin garantiza que el nmero de unos en un mensaje siempre deber ser par, de esta manera se puede detectar un error cuando el mensaje enviado contiene un nmero impar de unos. Pero si se cometen dos errores simultneos, entonces esta forma de detectar errores no es eficiente, pues por ejemplo el mensaje recibido como 10111101 es posible que no tenga errores o bien que contenga un nmero par de ellos. Distancia de Hamming Una manera simple de medir la distancia entre dos cadenas es la siguiente: Defincin: la distancia de Hamming entre las cadenas x = x 1x2x3...xk y y = y 1y2y3...yk es d(x,y) = j, donde j es el nmero de posiciones en donde estas cadenas son diferentes. Ejemplos d(01110,11011) = 1+1+1 = 3
10

d(00000,11111) = 1+1+1+1+1= 5 La distancia de Hamming es una mtrica, como se demuestra a continuacin: 1. De la definicin podemos ver que d(x,y) 0, cadenas x, y 2. d(x,x) = 0, ya que x no difiere de x en ninguna posicin 3. Tambin, de la defincin se puede establecer que d(x,y) = d(y,x) cadenas x, y 4. Si x, y, z son cadenas, entonces La mtrica de Hamming puede utilizarse para detectar errores en la transmisin de mensajes, puesto que si "x" es la cadena enviada y "y" es la cadena recibida, entonces si la cadena transmitida no se recibe con errores, "x" debe ser idntica a "y", por lo que en este caso

11