laberintos e innitos

La Verdad Matemtica. a
Jacobo Asse Dayn. a Egresado de la carrera de Matemticas Aplicadas del ITAM a Puede parecer extrao hablar de la evolucin de la verdad, pues suele pensarse que lo n o verdadero es permanente e invariante. Sin embargo, una breve revisin histrica revela que o o buena parte de lo que ha sido considerado como verdadero (incluso ms all de toda duda), a a ha resultado ser falso, o al menos, es actualmente considerado como falso. De hecho, no es slo el conjunto de hechos considerados como verdaderos el que ha cambiado, sino que los o criterios mismos para calicar algo como verdadero han cambiado tambin, provocando un e serio cuestionamiento del concepto mismo de verdad que, a la luz de los hechos histricos, o queda como un atributo subjetivo y temporal. A tal grado ha sido admitido este carcter a temporal de la verdad, que los ms prominentes lsofos de la ciencia se sitan entre la a o u armacin de que la verdad es algo inalcanzable, y que slo se puede hablar de teor que o o as an no han sido falsadas (Karl Popper), hasta la aseveracin categrica de que la verdad u o o simplemente no existe (Paul Feyerabend). As en el entorno cient , co actual, ms que hablar a de verdades, se habla de teor conjeturales que estn ligadas a un cierto contexto desde el as a cual se les considera. Sin embargo, existe un campo de conocimiento que ha pretendido escapar a este escepticismo: el de la matemtica. El conocimiento matemtico ha sido considerado, desde sus inicios, como a a un conocimiento seguro, absoluto y eterno. Casi cualquier persona estar de acuerdo en que, a pase lo que pase, dos ms dos son, y siempre sern, cuatro. Pero, cabe preguntarse, qu tiene a a e el conocimiento matemtico que nos infunde esta seguridad? Cul es el mecanismo que a a nos garantiza que un enunciado matemtico es verdadero? En qu diere el conocimiento a e matemtico del propio del resto de las disciplinas? La respuesta natural es apelar al rigor a matemtico y su principal instrumento la demostracin, como gran aanzadora de la verdad a o matemtica. Sin embargo, qu es exactamente el rigor matemtico? Dnde est denido? a e a o a Cmo se verica? De nuevo es preciso voltear hacia la historia para darnos cuenta de que las o respuestas a estas preguntas no son en absoluto simples, ni las respuestas ofrecidas constantes a lo largo de la historia. Vemoslo. a

A grandes rasgos, la matemtica ha pasado por tres a etapas principales: la primera es la etapa de la matemtica clsica, que comenzara en la antigua Grecia a a y que alcanzara su mxima expresin en los trece lia o bros de Los Elementos (320 a.C. aproximadamente) de Euclides.

3. 1415926535897932384626433832795028841971693993751058209749445923078164 22

Aterrizando ideas En estos libros, Euclides parte de veintitrs deniciones, cinco nociones comunes y cinco e intuiciones geomtricas consideradas por l como evidentes (llamadas postulados), a partir e e de las cuales logra derivar todos los teoremas conocidos por los matemticos hasta entonces. a Esta forma de hacer matemticas evolucionar a lo que ahora es conocido como el mtodo a a e axiomtico y fue completamente novedosa para la poca, pues, previo a Los Elementos, la a e matemtica estaba constituida por una serie de tcnicas utiles sin ninguna unidad lgica a e o subyacente. As se puede decir que Euclides es el inventor del rigor matemtico [1], pues , a proporciona un criterio para determinar si un enunciado matemtico es verdadero o falso: a un enunciado es verdadero si puede ser derivado partiendo de los axiomas, que en el caso de Euclides, consist en sus intuiciones geomtricas evidentes. an e

Sin embargo, no todo era perfeccin en el sistema de o Euclides: su quinto postulado, tambin conocido coe mo el postulado de las paralelas, que esencialmente arma que dos rectas paralelas nunca se cruzan, no parec tan evidente como los otros cuatro. El mismo a Euclides no estaba conforme con l y evit utilizarlo e o cuando le fue posible, y no es hasta la demostracin o de la proposicin 29 que ste aparece. Sin embargo, o e a partir de este punto es frecuentemente usado en las demostraciones de diversas proposiciones importantes.

Muchos matemticos intentaron mostrar que este postulado no era un verdadero postulado, a sino una consecuencia lgica de los primeros cuatro postulados. En los dos mil aos siguieno n tes surgieron cerca de treinta demostraciones distintas que pretend haberlo logrado, sin an embargo, eventualmente se concluy que cada una de ellas conten enunciados no demoso a trados que eran equivalentes al postulado en cuestin. A nales del siglo XVII y en el siglo o XVIII, algunos matemticos como Girolamo Saccheri y Johann Heinrich Lambert intentaron a demostrar el quinto postulado mediante el uso de la reduccin al absurdo, es decir, asumieron o su falsedad con la intencin de llegar a una contradiccin. Sin embargo, no lograron encono o trar contradicciones vlidas; tan slo llegaron a conclusiones que contradicen a enunciados a o equivalentes al quinto postulado, tales como que los ngulos de un tringulo no tienen que a a sumar 180 , o que existen rectas que se acercan entre s pero nunca se cruzan. Ninguno de ellos le dio importancia a estas conclusiones, que, en palabras de Saccheri tienen efectos repugnantes sobre la naturaleza de las l neas rectas, y no fue sino hasta 1829 que Nicolai Lobachevsky publica un art culo proponiendo la existencia y validez de estas geometr que as, a la postre ser conocidas como geometr no-euclidianas. La gran diferencia entre la geoan as metr Euclidiana y estas nuevas geometr es que, mientras la primera se sita en un plano, a as u las no Euclidianas se sitan sobre supercies curvas como esferas, discos o hiperboloides. u Esta pequea alteracin, la simple supresin del postulado de las paralelas, afecta a todos n o o los objetos denidos por Euclides en Los Elementos, engendrando una innidad de nuevas geometr as. 3. 1415926535897932384626433832795028841971693993751058209749445923078164 23

laberintos e innitos

La ca del quinto postulado tuvo dos consecuencias que cambiaron la concepcin de las da o matemticas de forma radical: primero, hizo imposible sostener que la geometr es la base de a a las matemticas, pues habiendo una innidad de geometr cada una de ellas con resultados a as, completamente distintos, sta no pod constituir una base rme. Y segundo, provoc que se e a o intentara excluir por completo a la intuicin del razonamiento matemtico: o a Por ms de dos mil aos, Los Elementos sirvieron de Biblia matemtica, fundaa n a cin del mtodo axiomtico y fuente del conocimiento deductivo. Los postulados o e a de Euclides, sin embargo, estn basados en nuestra (o su) intuicin de los oba o jetos geomtricos. Con el descubrimiento de las geometr no-euclidianas, Los e as Elementos fueron examinados a fondo y se encontraron omisiones lgicas. Como o resultado, la intuicin fue excluida del mtodo axiomtico, y ste fue formalizado2 . o e a e As con el surgimiento de las geometr no euclidianas, se hizo evidente que si se espera , as que el rigor matemtico garantice certeza, no puede depender de las intuiciones geomtricas a e de Euclides ni de nadie ms. Por ello, a partir de ese momento, el nfasis se apart de las a e o propiedades geomtricas de los objetos matemticos, y se traslad a su estructura lgica. e a o o Este cambio nos introduce a la segunda etapa en la historia de las matemticas, la de las a matemticas modernas, cuya denicin de rigor recaer en la demostracin lgica de los a o a o o enunciados matemticos. a

Sin embargo, la demostracin como medio para eno contrar verdades absolutas es necesariamente confrontada con la necesidad de probar su efectividad en algn sentido. Esto quiere decir que la demostrau cin debe ser seguida de una demostracin de que es o o correcta, otra de que la demostracin de la demoso tracin lo es, y as hasta el innito3 . o

Este regreso al innito es ilustrado extraordinariamente por la paradoja Carroll, ideada en 1895 por el matemtico y escritor ingls Lewis Carroll, en la que muestra que no hay nada a e que distinga a los enunciados que forman parte de una demostracin matemtica, de los o a enunciados que ella pretende demostrar. De modo que es inevitable que surja la pregunta de qu es una demostracin matemtica? Y, qu es lo que demuestra? e o a e Ante estas dicultades surgi, a principios del siglo XX, la corriente denominada formao lista, presidida por el matemtico alemn David Hilbert (1862-1943), que sostiene que los a a enunciados matemticos pueden ser vistos como simples cadenas de s a mbolos que pueden ser generadas utilizando ciertas reglas arbitrarias y aplicando las leyes de la lgica. Bajo esta o visin, los trminos matemticos pierden por completo su signicado, y la veracidad de un o e a enunciado es vericada exclusivamente por la forma en la que los s mbolos estn concatea nados. As la demostracin matemtica consistir en lograr derivar la cadena apropiada , o a a 3. 1415926535897932384626433832795028841971693993751058209749445923078164 24

Aterrizando ideas dentro de un sistema formal, y no habr lugar para ningn tipo de ambigedad procedente a u u de deniciones intuitivas de los trminos. e La consigna de esta corriente, encarnada en el llamado Programa de Hilbert, era la de lograr establecer una correspondencia entre los enunciados matemticos considerados verdaderos, y a las cadenas que son derivables dentro de un sistema formal. Y esta correspondencia deber a cumplir con dos caracter sticas fundamentales: primero, deber ser consistente, es decir, si a un enunciado pertenece al sistema formal, entonces su negacin no puede hacerlo; y segundo, o deber ser completo, es decir, dado cualquier enunciado matemtico expresable en la termia a nolog del sistema formal, ste debe ser capaz de determinar si el enunciado pertenece a l, a e e o si es su negacin la que lo hace. o El requisito de completud nos interesa particularmente para nuestro anlisis de lo que es una a demostracin matemtica. La corriente formalista busc evitar el regreso al innito en las o a o demostraciones estableciendo que una demostracin es denitiva una vez que es expresada o en trminos del sistema formal. Sin embargo, para que este criterio fuera considerado como e adecuado, era necesario mostrar que esta formalizacin de la matemtica era capaz de abarcar o a a todos los resultados matemticos conocidos, es decir, que no se dejar fuera de la maa an temtica resultados que eran considerados como verdaderos. Por ello, el objetivo del Programa a de Hilbert era lograr una formalizacin consistente y completa de toda la matemtica. Este o a objetivo parec ser viable, el mismo Hilbert logr una axiomatizacin tal de la geometr a o o a Euclidiana, y la publicacin de Principia Mathematica (1910) por Bertrand Russell y Alfred o North Whitehead, parec ser promesas de xito. an e Sin embargo, en 1931, el lgico austriaco Kurt Gdel ech por tierra esta pretensin con o o o o sus famosos Teoremas de Incompletud. En ellos, Gdel demuestra que cualquier sistema mao temtico formal que contenga un m a nimo de aritmtica, contiene proposiciones no decidibles, e esto es, que no pueden ser demostradas ni refutadas por el sistema. Lo que es ms, Gdel dea o mostr que la proposicin que postula la consistencia de la aritmtica tambin es no decidible. o o e e De modo que todo sistema matemtico que contenga un m a nimo de aritmtica (prcticamene a te cualquier sistema no trivial) no slo es incompleto, sino que, adems, su consistencia es o a indemostrable. Los teoremas de Gdel implican que nadie podr nunca escribir una lista de o a axiomas y pretender con razn que toda la matemtica se deduce de ellos [4]. o a

Este resultado nos introduce a la tercera de las mencionadas etapas de la matemtica, la a etapa denominada cuasi-empirista, misma que prevalece hasta el d de hoy. a

Bajo esta visin, se admite que no existe una lgica subyacente a todas las matemticas -ni o o a 3. 1415926535897932384626433832795028841971693993751058209749445923078164 25

laberintos e innitos las intuiciones geomtricas de Euclides, ni la consistencia formal de Hilbert nos proveen de e un criterio para separar a la verdad de la falsedad matemtica- de modo que, para defender a a nuestra apreciada disciplina, nos vemos obligados a apelar a la utilidad que ella nos brinda: las matemticas deben ser verdaderas, pues de otra manera no ser tan utiles en la prctica a an a de las ciencias naturales y sociales. Bajo esta concepcin de la matemtica, el unico rigor posible es el mismo que existe en el o a resto de la actividad humana, de modo que hoy en d una demostracin es considerada a o como rigurosa si los mejores especialistas en la materia no tienen nada que objetar [5] . Naturalmente que, con el cambio de especialistas, tambin cambia la matemtica: e a El Teorema de Gdel arroja un resultado unnime: la verdad matemtica no o a a es pura consistencia formal o deducibilidad que lleva a dotarla de un carcter a apod ctico, de absoluta certeza, a priori. Los resultados matemticos se presentan a a la luz de dicho teorema como falibles, provisionales y aproximados, como lo son los resultados de las ciencias naturales [6]. Pero, qu signica que la matemtica sea falible, provisional y aproximada? Es que dos ms e a a dos no son exactamente cuatro, para siempre y con toda seguridad? Dudar de ello parecer a ser repugnante a la naturaleza de los nmeros y, en realidad, la cuestin no es as de simple: u o dos l neas paralelas s se pueden cruzar si el espacio en el que se encuentran no es el plano Euclidiano, pero no de otra forma. El sistema denido por Euclides jams consider que a o los objetos pudieran estar en otro espacio, pues jams se hab concebido la posibilidad a a de otro espacio. Su sistema descansaba sobre un postulado tcito: que el espacio es plano. a Asimismo, dos ms dos seguirn siendo cuatro siempre que la concepcin del conjunto de a a o los nmeros naturales, de la relacin de igualdad y de la operacin de la suma sigan siendo u o o las mismas, es decir, siempre que los postulados tcitos que acompaan a este enunciado no a n cambien. Cules son estos enunciados tcitos? Por ahora nos son inconcebibles, es por ello a a que se mantienen ocultos. Cuando dejen de serlo ser porque hemos descubierto una nueva a posibilidad para alguno de los conceptos involucrados en el enunciado y, as como actualmente debemos especicar que para que dos l neas paralelas no se crucen deben estar en un plano, para que dos ms dos sean cuatro deberemos especicar expl a citamente que nuestro nuevo postulado se cumple. No es que los resultados de la matemtica actual no sean exactos, sino a que son relativos a un conjunto de nociones propias de nuestro tiempo. La ca del quinto postulado de Euclides no da es ms que un caso particular que ilustra lo a que nos dicen, de forma ms general, los teoa remas de Gdel: que no existe una lista denio tiva de axiomas generadores de la matemtia ca; que todo resultado est apoyado tcitaa a mente en supuestos inadvertidos; que estos supuestos seguirn cambiando; y que conforme a ellos cambien tambin cambiar la verdad mae a temtica. a 3. 1415926535897932384626433832795028841971693993751058209749445923078164 26

Aterrizando ideas Bibliograf a 1. Hofstadter, Douglas R. (1979) Gdel, Escher, Bach: An Eternal Golden Braid. Basic o Books, Inc. N.Y. 2. Bogomolny, Alexander (1996) Non-Euclidean Geometries En http://www.cut-the-knot.com/triangle/pythpar/NonEuclid.shtml. 3. Otte, Michael (1994). Is Radical Constructivism Coherent? En: Constructing Mathematical Knowledge: Epistemology and Mathematics Education. Editado por: Paul Ernest. The Falmer Press, Londres. Pp.50-61. 4. Allen Paulos, John (1993) Ms All de los Nmeros. Tusquets Editores, Barcelona. a a u 5. Thom, Ren (1970) Son las Matemticas Modernasn Error Pedaggico y Filosco? e a u o o En: La Enseanza de las Matemticas Modernas. Hernndez, Jess. Alianza Universin a a u dad, Espaa. Pp. 115-129 n 6. D Muoz, Guillermina (1995) Zubiri y la matemtica: un nuevo constructivismo. az n a Tesis Doctoral, Universidad Autnoma de Madrid. o En http: //www.zubiri.org/works/spanishworksabout/munoz /chapter5.htm

AN IMATE! ESCRIBE A LABERINTOS E INFINITOS! Env tus art a culos a laberintoseinnitos@yahoo.com.mx

3. 1415926535897932384626433832795028841971693993751058209749445923078164 27