La historia de las matemticas desde una perspectiva moderna

Heidi Viridiana Santiago Ventura

Sin lugar a dudas las matemticas se encuentran presentes en la vida cotidiana de todas las personas, desde la idea de contar hasta cosas mas sofisticadas como un electrodomstico. Lamentablemente esto no es tan notorio para todas las personas, es en ste momento cuando llega la clsica pregunta "y eso de qu me va a servir en la vida?". Dejando de lado la importancia de las matemticas como una materia formativa para el raciocinio, nos olvidamos del impacto que tiene en cada aspecto de nuestras vidas. Es por esto que surge la necesidad de saber de donde viene la matemtica actual y la curiosidad de saber como es que se desarrollo y los diferentes puntos de vista que la humanidad y los propios matemticos han tenido a lo largo del tiempo.

En este ensayo intentare discutir desde mi visin como estudiante universitario de matemticas del siglo 21 la historia de las matemticas presentada por el libro. Intentare explicar el porque de los cambios opinin sobre algunos temas y las crisis que enfrentaron, que motivo estas discusiones, y como los debates del pasado han influido en como percibimos y se nos ensea matemticas en la actualidad. Tambin intentaremos comprender el concepto de "verdad matemtica" y sopesar las ideas que los antiguos matemticos han aportado para ver de donde procede la visin actual.

Desde tiempos antiguos y hasta hace muy poco la matemtica y la religin eran muy cercanas. En los tiempos de los griegos, tiempos de misticismo, la matemtica era vista como un ejemplo del razonamiento exacto, compuesta por verdades puras y como la base del diseo de la naturaleza. Recordemos que eran los filsofos como Aristotelismo, Euclides y Platn los que hacan matemticas en la antigedad. Los griegos estaban muy interesados en problemas geomtricos prcticos, tanto as que enunciaron sus famosos tres problemas. Fueron justo estos tres problemas y su aparente imposibilidad de solucin lo que los llevo a darse cuenta que algunos aspectos de las matemticas no podan hacerse usando instrumentos del mundo real y deban usar mtodos puramente simblicos, es por esto que formularon el razonamiento deductivo, el cual se basa en verdades elementales como fundamento para otras verdades menos evidentes. Los griego usaron el razonamiento deductivo a partir de entonces, con lo cual lograron descubrir una gran cantidad de resultados sobre la geometra y los nmeros. Estas a su vez fueron usados en campos como la astronoma, mecnica, ptica e hidrodinmica con muy buenos resultados, esto los motivo a tratar a las matemticas como una fuente de verdades sobre el mundo real y por el ambiente religioso de aquel tiempo provoco que las matemticas fueran cercanas a la religin. Notemos que est visin de las matemticas como una herramienta para obtener informacin a partir del razonamiento se extendi a otras reas del conocimiento y aun ahora se sigue empleando. Gran parte del prestigio de la matemtica como ciencia exacta se debe a este periodo.

Con el paso del tiempo cambiaron algunas cosas importantes y otras se quedaron igual. Las matemticas se siguieron usando ampliamente como fuente de verdades sobre el mundo real a travez de

fsicos como Newton, Leibnitz, Copernico y Kepler. Sin embargo los resultados obtenidos por estos contradecan la religin catlica que desde ese entonces era la dominante, introducan la teora heliocntrica y dotaban a la tierra y los astros de movimiento y posiciones cambiantes, todo esto contrario al dogma. Es por esto que comenz la separacin de las matemticas y las ideas religiosas.

Con la llegada del siglo diez y nueve tambin lleg una revolucin a las matemticas, las antes vistas como verdades inmutables y eternas, modelo fiel de la naturaleza fueron sacudidas. Se cuestion la validez del quinto postulado de Euclides y esto pona a la geometra, la mas importante rea de las matemticas y en las que se basaban para incluso hacer lgebra, en riesgo. Intentaron justificarlo usando los otros postulados o ignorarlo para llegar a una paradoja y con esto probar que era necesario pero no tuvieron xito. Luego de replantearse su validez decidieron cambiarlo y esto dio lugar a otras geometras. Ahora sabemos que en ciertos contextos es mejor aproximar la realidad por una geometra no euclidiana. La importancia de dudar del quinto postulado y trabajar con otras cosas contrarias o contra-intuitivas esta en que la forma de obtener resultados estaba basada en el razonamiento deductivo de los griegos y este depende totalmente de las verdades elementales que tomas por ciertas. Esto dio paso a plantearse la idea que las matemticas dependen fuertemente de los acuerdos que se tomen y lo que se considere como verdad evidente.

El saldo de esta revolucin fue que al querer defender todas las verdades obtenidas hasta ese momento los matemticos se centraron en reexaminar las proposiciones existentes y encontraron que en realidad las matemticas estaban muy mal fundamentadas. Rabia muchas proposiciones falsas que se crean ciertas, pruebas falsas, fallas de razonamiento y errores sutiles; adems el desarrollo ilgico haba hecho que no se contara con un marco lgico adecuado y hubiera muchos conceptos mal entendidos. Tenemos pues un cambio en la forma de hacer matemticas: el pasar de la mera intuicin, argumentos fsicos y diagramas geomtricos a usar de forma extendida argumentos lgicos. Lo anterior no significo que se dejara de buscar la relacin de la matemtica con la naturaleza. Este cambio dio lugar a la llamada rigorizacin de las matemticas. As llegamos al siglo XX con el descubrimiento de las paradojas de teoria de conjuntos y con miedo a que las matematicas clasicas tuvieran aun ms paradojas por descubir, hecho que caus que los matmticos se tomaran muy en serio el problema de consistencia pues sin esto muchos temian que el trabajo que estaban haciendo y a lo que haban dedicado toda su vida no tuviera ningn valor.

Uno de los grandes desacuerdos que resurgieron a principios de este siglo fue que dado el incremento del uso de los conjuntos infinitos muchos aun se preguntaban si el concepto de estos conjuntos era realmente legitimo. Hoy en da usamos estos conceptos sin molestarnos en pensar en su practicidad o validez pues nos son muy tiles no solo en teoria de conjuntos sino en otras ramas de las matemticas como topologa, calculo o incluso probabilidad.

Sin embargo, no fue solo esto lo que caus que los matemticos llegaran a reconsiderar todo el tema de los propios fundamentos sino que fue solo la chispa que desat el fuego que llev a tanta controversia. Varias aproximaciones radicales habian surgido antes del siglo XX pero no habian ganado mucha popularidad dentro de la comunidad matemtica, sin embargo, a principios de 1900 llegaron

varios matemticos a pelear por diferentes aproximaciones de los fundamentos. Decimos pelear porque parecia que realmente se sentian en una batalla llegando al punto de que en vez de retroalimentar las diferentes teoras que surgieron, los matemticos solo desacreditaban a la escuela rival ante el mas mnimo error o concepto que crean correcto.

La primera de estas escuelas de pensamiento que se conoce es la de los logicistas, ellos crean que todas las matemticas se derivaban de la lgica y como a principios de 1900 las leyes de la lgica fueron aceptados por la mayoria de los matemticos como verdades, los logicistas consideraban que cualquier cosa derivada de esto era verdad asi dado que la verdad es consistente y las matemticas se derivaban de la lgica, estas debian ser consistentes.

Hay varios representantes que hicieron contribuciones a eso como Leibniz, al que se le atribuye la idea de que las matemticas se derivan de la lgica, Dedekind, Fregue quien creia que las leyes de las matemticas eran lo que llamamos anliticas.

Cuando Fregue estaba por publicar su segundo volumen de las leyes Fundamentales en 1902 recibi una carta de Bertrand Russell donde le informaba que su trabajo incluia un concepto (el conjunto de todos losn conjuntos)que llevaba a una contradiccin. Independientemente de esto, Russell habia concebido el mismo programa y dijo El hecho de que las matemticas sean Lgica simbolica es uno de los descubrimientos mas grandes de nuestra era. As, a pesar de los problemas que causaron las geometrias no euclidianas y algunos problemas que surgieron despues, Rusell y otros cuantos matemticos (como Whitehead) crean que gracias a la lgica, las matemticas eran consistentes as que se dedicaron a axiomatizar, desarrollar mas su teora y eliminar cualquier defecto que encontraban.

Mientras los logicistas trabajaban sobre su teora, otra aproximacin radical surgi de un grupo de matemticos llamados intuicionistas. Me parece curioso que mientras la otra escuela confiaba plenamente en la Lgica, pareciera que los intuicionistas se alejaban de toda lgica pero buscando la misma meta. El descubrimiento de las paradojas no solo caus la desconfianza en las matematicas sino que aceler el desarroll de la doctrina del intuicionismo que ya se veia en los trabajos de Descartes y Pascal. Este ltimo decia El corazn tiene sus propias razones, la cuales la razn no conoce.

En esta escuela tambin hubo varios representantes importantes tales como Kant, Kronecker y en cierto grado Borel, Baire, Lebesgue y Poincar. Poincar estaba totalmente en desacuerdo con el efoque de la lgica simbolica y lleg a ser incluso sarcastico en sus opiniones. A pesar de que habia varias personas en contra de esta escuela, los intuicionistas lograron imponerse a las crticas y empez a tener mas influiencia entre la comunidad matemtica. As, lleg la primera pregunta que fue debatida seriamente con el axioma de eleccin. Qu significaba la existencia de las matemticas y Nos servia conocer un numero con propiedades especiales si no habia forma de calcular o usarlo?. Mientras estas escuelas se preocupaban por seguir desarrollando su teora y se peleaban y criticaban entre ellos, otras 2 escuelas surgieron: la Formalista y la Conjuntista. Estas escuelas

surgieron mas o menos en los mismos aos. La primera naci con David Hilbert quien creia que los logicistas al tratar desarrollar su teoria caian en un argumento circular pues ya intervenia los nmeros enteros, aunque no les llamaran asi en el desarrollo de la lgica y sin enbargo despues usaban eso para constuir los nmeros, mientras que los intuicionistas le molestaban aun mas, al grado de alarmarlo porque stos rechazaban el concepto de conjuntos infinitos y el principio del tercer excluso que era tan importante para l que decia quitar a los matemticos este principio es como quitar a los astronomos su telescopio o prohibir a los boxeadores usar sus puos.

Como Hilbert creia que ninguna de las escuelas existentes hasta el momento probaba la consistensia de las matemticas se dedic a desarrollar lo que l llamaba Teoria de la demostracin o metamtica donde trataba de axiomatizar las matemticas usando la simbologia de la Lgica pero como mera herramieta pero a un costo alto para algunos: usar los objetos matemticos y tratar las verdades a las que llegaba como algo que no tena nada que ver con la realidad o algun concepto intuicionista. Esto fue gravemente criticado por los logicistas y los intuicionistas pues los primeros crean que los axiomas que utilizaban no eran verdades aceptadas por todos como Hilbert deca y los intuicionistas decian que aunque crearamos muchos sistemas axiomaticos si no servian para la vida real no servan de nada.

Mientras continuaba la pelea entre las 3 escuelas apareci una mas, la conjuntista, cuyo adeptos intentaban axiomatizar la teoria de conjuntos existente para as eliminar las paradojas encontradas hasta el momento. Estos tenian la conviccin de que si lograban axiomatizar la teora de conjuntos lograran demostrar la consistencia de las matemticas y afirmaban que la lgica era solo la gramtica del lenguaje de las matemticas. As continu el desarrollo de esta ultima escuela con los axiomas de Zermelo-Fraenkel y estas escuelas siguieron estando en una especie de guerra intelectual en la cual no parece que haya un ganador. A pesar de los aos que han pasado desde que estas escuelas aparecieron, en la actualidad no hemos llegado a un comn acuerdo sobre qu enfoque est bien sino que hemos mezclado cosas de todas las escuelas para evitar paradojas y hacer mas facil las demostraciones, por ejemplo, la simbologia desarrollada por Hilbert es usada para la teoria de conujuntos. Sin embargo, aun seguimos peleando por viejos temas tales como si el 0 es natural, los conjuntistas lo necesitan para construir el 0 pero el resto usa mas bien un enfoque intuicionista para rechazar esta idea, as pues, seguimos rechazandonos unos a otros sin retroalimentar por ciertas costumbres un poco irrazonables a pesar de jactarnos de ser metdicos y siempre lgicos.

En la carrera de Matemticas te ensean los diferentes enfoques que hay pero siempre con recelos pues no todos aceptan usar todos los enfoques. Creo que no llegaremos a ver cuando por fin se unifiquen estas opinioes y teoras para llevar las Matemticas a limites inesperados.

La lectura del libro me hizo cuestionare cosas nuevas. Al igual que el ignorar el basto alcance de las matemticas en nuestra vida cotidiana creo que perdemos de algo muy especial al desconocer la historia de las mismas. El conocer el esfuerzo durante tantos siglos que llevo a tantos hombres y las motivaciones y caminos que siguieron para llegar a lo actualmente aceptado me parece fascinante. Es emocionante darte cuenta que muchas de las cosas que te han enseado, y tomaste como siempre ciertas, fueron primero desconocidas para la humanidad, mas tarde conocidas por unos pocos pero no totalmente aceptadas dentro de esa comunidad, mas tarde no tenan impacto en el colectivo y al final muchas de los descubrimientos matemticos han alcanzado aplicaciones tan ampliamente usadas que pasan desapercibidas. Creo que mi visin fue enriquecida al formarme en clases con estudiantes de ingenieras electrnica, mecanica, etc . Pues me hizo consciente de muchas aplicaciones y lo necesarias que son las matemticas para el desarrollo de la tecnologa mas bsica. En este contexto encontramos cosas fascinantes tambin, por ejemplo el plan de estudios de la carrera es el conjunto de convenios que ha tomado la humanidad en conjunto durante siglos acerca de las cosas que mas le interesaban y en las que se pusieron de acuerdo. Tambin refleja las necesidades y avances tecnolgicos como por ejemplo el que se de formacin para poder mejorar los procesos industriales o se incorporen software de edicin y calculo matemtico. El poder clasificar los resultados como mas cercanos a un rea y no a otra, solo pudo ser posible despus de cierto debate y un consenso general, creo que ayuda mucho a entender las matemticas pues el concentrarte en una cosa hace que su desarrollo sea lgico y natural. La forma en que puedes llegar a intuir el teorema siguiente siendo que el descubridor tardo aos en poder formularlo y demostrarlo porque no existan o no tenia conocimiento de algunos resultados que lo hacen mas accesible. Sin embargo creo que puede llegar a ser daino al dar pie a la sobre-especializacin, conforme avanzo en la carrera veo resultados en un rea que me dan intuicin sobre otras reas, nuevas ideas y perspectivas. Es por esto que me parece un error cuando se desdea un rea de las matemticas y se favorece demasiado a alguna, creo que la formacin debe ser integral, interdisciplinaria. Ya no digamos con otras ciencias, sino con otras reas de las matemticas. Como dijo el matemtico mexicano Alberto Verjovsky es un grupo de Facebook al ser cuestionado sobre el rea de especializacin de Michael Atiyah: No tenia una especializacin, el secreto de los grandes matemticos es que nunca se especializan El texto se centra en las verdades matemticas y nos da la increble idea de que en realidad no son tan perennes y generales como comnmente se perciben. Nos ofrece entonces la perspectiva que una verdad matemtica no lo es tal para todos los matemticos en todas las pocas y tiene que pasar a travs de los estndares de cada matemtico para poder aceptarla, ya sea su aplicabilidad o que haya sido demostrada completamente en un marco abstracto y lgico para asegurar su veracidad. Esto me recuerda las disputas entre las escuelas del pensamiento, en especial la intuicionista y la formalista. Las dos visiones tienen deficiencias si se toman como un camino aislado. La primera excluye conocimientos ahora fundamentales para la tecnologa pero otrora fruto del esparcimiento intelectual de sus autores que solo buscaban el nico placer que da el plantearte problemas y resolverlos. La segunda nos lleva a lugares tan abstractos en los que se vuelve rida la teora y al menos para su enseanza se precisan de ejemplos reales e intuicin desde la realidad para motivar su estudio y facilitar su

comprensin, ejemplo de est situacin es un curso de lgebra de grupos, anillos y campos.

Quisiera concluir diciendo que el libro me dejo adems de conocimientos una nueva visin de las matemticas, tanto antiguas como actuales y futuras. Creo que esta visin me ayudar a comprender mejor el porque de los resultados que se me presentan en los cursos y a darle diversin y aumentar la curiosidad al manipular objetos matemticos, por ejemplo preguntarme mas sobre las hiptesis de un teorema Qu pasa si no est presente alguna? Qu es lo que falla? Por qu la agregaron? Qu pasa si agrego otra? Cundo se dieron cuenta que era necesaria? Cerrar mi disertacin con la siguiente frase de Einstein tan apropiada para este tema: Como se explica que las matemticas siendo un producto de la mente humana, independiente de la existencia, estn tan admirablemente adaptadas a la realidad?