Anda di halaman 1dari 5

136

Parece paradjico que el hombre busque mecanizar su razonamiento, lo ms humano del hombre. D. R. Hofstadter.

En la seccin anterior veamos cmo Gdel introdujo los conjuntos construibles, definidos en trminos de frmulas en el lenguaje de la lgica y la teora de conjuntos. Con esto en mente introduce un axioma en la teora de conjuntos ZF que da acceso al axioma de eleccin y a la hiptesis del continuo, y an ms, a una generalizacin de esta misma hiptesis. Una dcada despus de los resultados mencionados, su posicin en cuanto a los fundamentos cambia hacia un sentido ms realista con relacin a lo que el llamaba la vaguedad de las jerarquas infinitas. Con relacin a CH, predijo que adems de la consistencia, como l ya lo haba demostrado, tambin se podra llegar a demostrar su independencia en el sistema ZermeloFraenkel-Axioma de Eleccin (ZFC). Esta demostracin, slo vino a conocerse en 1962, en un trabajo de Paul Cohen, quien fuera posteriormente medallista Fields en 1966 (al lado de M. F. Atiyah, A. Grothendieck y S. Smale). Gdel en sus trabajos de esta poca insinuaba que la independencia de CH, no deba entenderse como el fin de la historia en este captulo del estudio de los fundamentos, si no al contrario, haca la prediccin: el problema del continuo finalmente conducir al descubrimiento de nuevos axiomas, que harn posible refutar la hiptesis de Cantor. Gdel especulaba que la clase de axioma que se prestara para completar la prueba podra ser el llamado Axioma del cardinal mayor, esto es, un axioma no probable en ZF que implica la existencia de niveles de tamao descomunal en la jerarqua acumulativa de conjuntos. Sin embargo, debido a la gran aplicabilidad de los mtodos de Cohen, se descubri que los axiomas de alta cardinalidad, por si mismos no podran establecer CH. No obstante los resultados recientes de Woodin1, sugieren que Gdel tena razn. En 1951, Gdel volvi al tema y afirmaba lo siguiente: El fenmeno de la inexhaustibilidad de las matemticas siempre est presente Todas las matemticas son reducibles a la teora abstracta de conjuntos ahora, si uno ataca el problema de la axiomatizacin de la teora de conjuntos, el resultado es muy diferente de lo que podra esperarse uno tiene que enfrentarse a una serie infinita de axiomas, los que pueden extenderse ms y ms sin que se vislumbre un final . En esta tnica Gdel lleg hasta sugerir la insolubilidad de ciertos problemas centrales de las matemticas como la hiptesis de Riemann y problemas relacionados con ecuaciones diofantinas. Antes de enunciar el teorema de incompletitud, hagamos un repaso de los conceptos relacionados con sistemas axiomticos y ligados a este teorema, que es bueno tener presente. CONSISTENCIA. Un sistema se dice consistente, si sus axiomas no conducen a contradicciones. Digamos, que en el lenguaje formal del sistema, solamente se pueda probar p, o su negacin, p, pero no ambas.

WOODIN, W.H. The Continuum Hypothesis. Notices of the American Mathematical Society, Part I, II, Vol. 48. 2001.

137 COMPLETITUD. Un sistema es completo si toda frase (frmula bien formada) en el lenguaje asociado al sistema, se puede probar como verdadera, o como falsa. Esto significa que en el sistema estn bien delimitadas las frmulas inferibles de las que no lo son. INDEPENDENCIA. Un enunciado p se dice independiente en un sistema S cuando ni p, ni tampoco, p, se pueden deducir de los axiomas de S. INDECIDIBILIDAD. Decimos que una proposicin p es indecidible en un sistema S, si los axiomas no son suficientes para deducir de ellos, esta proposicin o su contraria, p. Entre los aportes ms importantes de Gdel est el teorema de incompletitud, cuya versin ms fcil de recordar es: TEOREMA DE INCOMPLETITUD. Todas las formulaciones axiomticas constistentes de la aritmtica (teora de nmeros) incluyen proposiciones indecidibles. Para Hofstadter2 el teorema de incompletitud es una verdadera perla, cuya ostra, metafricamente hablando, corresponde a la prueba del teorema. El teorema en su simplicidad no deja entrever el extrao bucle inmerso en l. Estos bucles extraos corresponden en nuestro lenguaje corriente a paradojas como las ya estudiadas de Epimnides y de Russell. El trmino bucle es algo corriente en los programas de computador, cuando se quiere significar que dentro de l hay un subprograma reiterativo. La prueba del teorema reposa en la escritura de un enunciado matemtico auto referente, en la misma forma que la paradoja del mentiroso reposa en un enunciado auto referente del lenguaje. Un enunciado ms general y su demostracin puede verse en: http://www.math.hawaii.edu/~dale/godel/godel.html#FirstIncompleteness . Los nmeros naturales, no deben confundirse con sus propiedades, ni con los enunciados referentes a estas propiedades. Un enunciado de teora de nmeros no puede ser un enunciado sobre propiedades de teora de nmeros. El golpe de genio del que hablbamos antes en Gdel, fue el hecho que, l vio aquello que el ojo corriente de los matemticos no haba notado, esto es, que las propiedades de los nmeros naturales podan codificarse en el lenguaje propio de los nmeros naturales. Este nuevo cdigo se llama hoy, Cdigo de Gdel, donde los nmeros representan smbolos y sucesiones de smbolos. As, a cada enunciado de la aritmtica (teora de nmeros) se le asocia un nmero de Gdel que lo identifica en forma unvoca, lo que implica que cada cadena de smbolos en este lenguaje puede interpretarse en dos formas distintas: como enunciados de la aritmtica o enunciados referentes a enunciados de la aritmtica. Despus de establecer ste cdigo se busca hacer el trasplante de la paradoja de Epimnides no precisamente diciendo Este enunciado es falso, si no a travs del nuevo cdigo diciendo: Este enunciado de la teora de nmeros no tiene prueba. Sin embargo la nocin de prueba no es un concepto fcil de captar para el comn de la gente. Aqu entenderemos por prueba el hecho de que el enunciado se derive de los axiomas con el recurso de las reglas de inferencia de la lgica. Pero, como lo hemos visto, las reglas de la lgica tambin tienen cabida en el lenguaje que ahora est codificado en los nmeros de Gdel, as que los enunciados se podrn identificar con frmulas del nuevo lenguaje. La prueba depende de los axiomas en consideracin. Si tomamos como base la axiomatizacin hecha en los Principia de Russell y Whitehead, el enunciado de Gdel toma la
HOFSTADTER, D. R. Gdel. Escher, Bach: An eternal golden braid. Random House. New York. 1980. Hay edicin en espaol publicada por Alianza Editorial de Espaa.
2

138 forma, llammosla G: Este enunciado de la teora de nmeros no tiene prueba en el sistema de los Principia Mathematica. El enunciado G no es el teorema de Gdel, como no lo es la paradoja de Epimnides la frase: el enunciado de Epimnides es una paradoja. Como recordamos, el caso de la exclamacin de Epimnides no puede clasificarse ni como verdadera ni como falsa, pero para el caso de G la situacin es diferente, porque G puede asociarse a una frmula de nuestro lenguaje codificado de Gdel y ella es verdadera en el sentido de que es una frmula bien formada, pero no es probable en el sistema determinado por los Principia. La conclusin es que el sistema de los Principia es incompleto porque hay enunciados de la aritmtica, como G, que son verdaderos pero que la teora resulta insuficiente para probarlos. El teorema de Gdel tuvo consecuencias graves en el seno de los lgicos, matemticos y filsofos interesados en los fundamentos de las matemticas, porque con l se demostr que ningn sistema axiomtico fijo, poda representar la complejidad que se deriva de la teora de nmeros. Despus del teorema de incompletitud, el logicismo qued muy mal parado, a tal punto que, el mismo Russell afirmaba que para l, la lgica le produca nausea. Pero Hilbert tampoco sali bien librado, por cuanto que su meta de probar en matemticas, todo aquello que estuviera bien formulado, se fue posible lograrse. Como consecuencia de los teoremas de Gdel, el desafo de Hilbert restringido a la aritmtica tampoco pudo lograrse. Su famosa frase: En matemticas no hay ignorabimus, perdi su generalidad.

5.10 La filosofa de las matemticas despus de Gdel. Despus de la aparicin de los teoremas de Gdel, decamos que, Russell manifest su profundo desencanto con la lgica. Este desencanto tambin toc a la filosofa de las matemticas y en general a la filosofa, pues al descubrir lo escurridizo que resultaba el concepto de verdad3, ninguna filosofa poda abrogarse el derecho de poseerla como patrimonio propio. Paralelamente a los resultados e investigaciones de Gdel, el crculo de Viena, del cual formaba parte el mismo Gdel, con Rudolph Carnap a la cabeza, buscaban un lenguaje universal y unificador para la ciencia. Esta escuela filosfica, que se apoyaba en la filosofa matemtica preconizada por Bertrand Russell, se conoce como el positivismo lgico. Este lenguaje universal no pudo configurarse, pero el positivismo lgico tuvo logros importantes en cabeza de filsofos tan famosos como Ludwig Wittgenstein, Karl R. Popper y Rudolph Carnap y matemticos de primera lnea como Hans Hahn y el mismo Gdel. Para terminar estas notas sobre los fundamentos de las matemticas, quisiera comentar ligeramente el trabajo de dos matemticos que propusieron alternativas nuevas en la filosofa de las matemticas: los profesores Raymond L Wilder y Errett Bishop. Se nos queda por fuera, al menos por ahora el matemtico checo y discpulo de Popper, Imre Lakatos (1922-1974) quien revivi al menos, en los ltimos aos de su vida, el inters por la filosofa de la ciencia, y en parte, algunas cosas interesantes en conexin con las matemticas.

Para el concepto de verdad en lenguajes formalizados ver el captulo VIII de: Tarski, A. Logic, Semantics, Metamathematics. 2nd. Edition. Hackett Publishing Company. Indianapolis. 1983.

139

Raymond L. Wilder retratado por P. R. Halmos4 en 1976. Wilder fue toplogo, antroplogo y un gran amante de la filosofa.

Raymond L. Wilder (1896-1982) fue conocido en la comunidad matemtica por su produccin intelectual, especialmente en topologa (como que fue uno de los primeros discpulos del legendario maestro de maestros en matemticas, Robert Lee Moore) y por su actividad interdisciplinaria, combinando matemticas con las ciencias humanas, especialmente en conexin con la antropologa. La posicin filosfica de Wilder es, considerar las matemticas como un sistema cultural. Como lo seala Smorynski5, el conocimiento matemtico es una tradicin cultural y la actividad matemtica tiene un carcter social. Las matemticas se ensean en todo tipo de cultura y es interesante destacar que la actividad matemtica en su produccin y desarrollo est muy ligada a los estamentos de carcter social, como universidades e institutos avanzados. Para Wilder la cultura matemtica se asemeja a una especie biolgica que evoluciona y se acomoda y adapta segn las fuerzas sociales que actan sobre ella. Para citar un caso, muestra, cmo las matemticas griegas al entrar dentro de la cultura musulmana evolucionaron de tal forma que cuando llegan de nuevo a occidente, la geometra y la teora de nmeros tenan un cierto toque de cultura rabe. Entre el declogo de las leyes que segn Wilder, gobiernan la evolucin de los conceptos matemticos, destaquemos las siguientes6: a) En todo tiempo slo evolucionarn los conceptos relacionados con la cultura matemtica existente, buscando su mayor utilidad segn las presiones de esta misma cultura o de culturas en las cuales las matemticas encuentran arraigo. b) La admisibilidad y aceptacin de un concepto estn decididos por su grado de utilidad. En particular, un concepto no se rechaza en razn a su origen o por motivos metafsicos, como su irrealismo, por ejemplo.

4 5

HALMOS, P. R. I have a Photographic Memory. American Mathematical Society. Providence, RI. 1987. SMORYNSKI, C. Mathematics as a Cultural System. The Mathematical Intelligencer, Vol. 5. No. 1. 1983. 6 WILDER, R. L. Evolution of Mathematical Concepts. John Wiley and Sons, Inc. New York, 1968. Pgs. 207-209.

140 c) La evolucin de las matemticas contina siempre; permanentemente en ascenso, slo sujeta a las presiones de difusin o de decaimiento de la cultura donde arraiga.

Errett Bishop (discpulo de Paul R. Halmos y tambin retratado por l) hizo su tesis en teora de operadores, pero segn Halmos se dedic a una religin conocida como constructivismo.

Errett Albert Bishop (1928-1983), un matemtico formado dentro del llamado hard analysis (anlisis duro) de los epsilons y los deltas, discpulo de Paul R. Halmos, reabre de nuevo, en la dcada de los aos sesentas del siglo pasado, el camino hacia el eonstructivismo, aquel enfoque de las matemticas que a fines del siglo XIX, haba iniciado Kronecker, en contrava a los procesos de aritmetizacin del anlisis iniciados por Weiersstrass y Cantor. Alrededor de 1920 Brouwer y sus discpulos a travs del enfoque intuicionista intentaron desarrollar el anlisis por mtodos constructivistas, sin mayor xito. La aproximacin al constructivismo por parte de Bishop, no es filosfica, sino ms bien diramos, est motivada desde el interior del anlisis. La idea era salir del patrn estandarizado de la teora de conjuntos y reemplazarlo por un nuevo paradigma como es el constructivismo. El objetivo central de su programa era reemplazar las pruebas conjuntistas de los teoremas del anlisis, por pruebas esencialmente constructivistas, donde los objetos matemticos que entran en el proceso deben ser construidos en forma algortmica y su existencia no puede darse por sentada sino hasta que se conozca un procedimiento para construir tales objetos. Los seguidores de esta versin de escuela constructivista, ya no son, necesariamente lgicos o filsofos interesados en los fundamentos del anlisis, sino matemticos de reas como lgebra, topologa o anlisis. La obra principal de Bishop7 lleg a constituirse en texto en algunas universidades, aunque en nuestros das ya no circula y solamente se consiguen copias para coleccionistas. Para un anlisis de la obra de Bishop en forma condensada, puede verse el artculo de N. D. Goodman8.

7 8

BISHOP, E. Foundations of Constructive Analysis. McGraw-Hill, New York, 1967. GOODMAN, N. D. Reflexions on Bishops Philosophy of Mathematics. The Mathematical Intelligencer, Vol. 5, No. 3, 1983.