00352

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO.
EL INFINITO MATEMTICO
MANUEL LPEZ PELLICER
Real Academia de Ciencias

INTRODUCCIN
Con naturalidad hablamos de conjuntos infinitos como el de los nmeros pares. Su existencia parece estar vinculada a nuestro pensamiento, y, desde luego, no es posible construir un ordenador con suficiente memoria para almacenar fsicamente un conjunto infinito de nmeros. Otra cuestin de inters sera la posibilidad de obtener un ordenador que pudiese responder a todas las cuestiones matemticas. Si la respuesta fuese positiva, la estructura del pensamiento matemtico se podra identificar con el software de ese ordenador y la creatividad matemtica sufrira un serio descalabro. Afortunadamente, la respuesta tambin es negativa, lo que, por otra parte, complica el anlisis de la estructura racional del pensamiento matemtico, que estudiaremos a travs de las aportaciones de algunos de sus creadores, muchos de los cuales exploraron con singular cario el infinito matemtico. Debido a lo reducido del espacio se notarn omisiones. La presentacin se hace indicando el marco histrico con alguna ancdota para ilustrar el desarrollo del proceso creativo de la estructura matemtica. Las matemticas nacieron por la necesidad de comparar, contar y medir, y su primer fruto fue un conjunto de resultados en los que ya se adverta cierta organizacin deductiva y que constituyen el legado egipcio y oriental que fue estructurado por el genio griego mediante la utilizacin sistemtica de los procedimientos generales del pensamiento, incorporando la demostracin que permite adjetivar a las proposiciones decidibles con los calificativos verdadero o falso. Los griegos utilizaron objetos matemticos, que consideraban reflejos de la armona del Universo, por lo que en parte redujeron la misin del matemtico a la observacin. Su matemtica, ms contemplativa que constructiva, estuvo vinculada a los ideales de la belleza y la armona. Los rabes sintetizaron los conocimientos matemticos de los griegos y de los calculadores hindes, popularizando la numeracin decimal con la utilizacin posicional del cero. De este modo descubrieron que se puede operar con magnitudes sin saber su significado y as naci el lgebra,
que Descartes transform en una disciplina independiente que no apoya sus desarrollos en consideraciones extraas al lgebra, pues parte de unas definiciones y unas propiedades elementales sobre las que va construyendo la larga cadena de razones de la que hablaba Descartes, y que la vea como la estructura por la que debe discurrir el razonamiento abstracto, idea recogida por Newton al decir que para resolver un problema con nmeros o relaciones abstractas basta con traducirlo al sistema algebraico. Newton elabor los fundamentos del clculo diferencial e integral, y nos dio mtodos simples aplicables a resolver problemas aparentemente no correlacionados. Lo mismo, con mayor xito an, hizo su genio sinttico en fsica, con el apoyo del clculo y la conviccin de que las matemticas eran el lenguaje del Universo. Leibniz tambin lleg a los fundamentos del clculo de forma independiente y quiso dar un paso ms al pretender extraer las ideas subyacentes en las pruebas matemticas rigurosas, para reducir todos los razonamientos y descubrimientos a una combinacin de ciertos elementos bsicos, buscando el lgebra del pensamiento. Los dos ltimos siglos han trado la teora de conjuntos. La obra de Cantor ha permitido trabajar con conjuntos infinitos y con lo que hoy conocemos como infinito actual, que haba sido evitado desde los griegos hasta Bolzano. Hasta poco despus de Cantor se crea que de cualquier proposicin se podra averiguar si era o no cierta, por lo que Cantor hizo esfuerzos en vano para demostrar la hiptesis del continuo, que supone que no hay ningn cardinal entre los cardinales de los conjuntos de los nmeros naturales y de los reales. Frege intent reducir la estructura racional del pensamiento matemtico a una axiomtica del corte idealista de la teora de conjuntos de Cantor que, invalidada por la paradoja de Russell, exigi la elaboracin de otras axiomticas para las que Gdel prob que al contener a la aritmtica elemental eran capaces de darnos proposiciones cuya verdad o falsedad era indemostrable dentro del sistema axiomtico, siendo una de esas proposiciones la hiptesis del continuo, con lo que prob que Cantor nunca hubiese podido demostrarla.
35
Nunca, pues, podremos programar un ordenador para contestar a todas las preguntas matemticas posibles, y la estructura racional del pensamiento matemtico se reduce a entes abstractos y axiomas sobre esos entes que no lleven a ninguna contradiccin. Las definiciones de los entes abstractos las sugieren los objetos reales (lnea recta, slido rgido...) o las crea el espritu humano para resolver problemas fsicos o matemticos (nmeros imaginarios, cardinales transfinitos...) '.
EL INICIO MATEMTICO
Las primeras manifestaciones matemticas tuvieron carcter emprico y finalidad utilitaria, primero para comparar y despus para contar, sentando la base del concepto de nmero. Luego, los problemas de medicin y construccin llevaron a las primeras consideraciones geomtricas. La necesidad de reponer los lindes de los campos despus de las inundaciones del Nilo llev a los egipcios a elaboraciones geomtricas. El significado etimolgico de geometra en griego es medida de la Tierra (de yr\, ge, Tierra, y jxxpov, metron, medida). Las culturas egipcia y babilnica ya manejaron frmulas que exigen enlazar razonamientos y cierto grado de abstraccin, como las frmulas del volumen del tronco de pirmide de base cuadrada y la del rea de la semiesfera, as como mtodos para la resolucin de ecuaciones de primer y segundo grado y de sistemas de ecuaciones lineales. Gran parte de nuestro conocimiento de las matemticas egipcias se debe al escriba Ahmes (hacia 1680 a. C. 1620 a. C.)> quien, alrededor del 1650 a. C , copi el hoy llamado Papiro Rhind o Papiro de Ahmes, que fue comprado en Egipto en 1858 por el egiptlogo escocs Alexander Henry Rhind. Desde 1863, el Papiro Rhind se encuentra en el Museo Britnico. Ahmes dice que el material proviene de otra obra de alrededor del 2000 a. C. Contiene problemas relativos a las cuatro operaciones, soluciones de ecuaciones, progresiones y la primera referencia escrita al problema de la cuadratura del crculo, aproximando JI por (4/3) . LOS PITAGRICOS Y LA ESTRUCTURACIN CIENTFICA DE LAS MATEMTICAS El trnsito del hombre de la experiencia al hombre de la razn lo da, fundamentalmente, el genio griego. Este paso intelectual, llamado el milagro griego, consiste en la ordenacin deductiva con demostracin de los legados matemticos egipcio, oriental y de sus propias aportaciones, mediante el uso sistemtico de los procedimientos generales del pensamiento, anlisis y sntesis, que adems les
Papiro Rhind o papiro de Ahmes.
llevaron a las generalizaciones y abstracciones. Desde los griegos estos procesos mentales estn al servicio del hombre. La cultura griega tuvo la influencia de los legados egipcio y oriental. Pitgoras y Platn, por ejemplo, estuvieron en Oriente. Sin embargo, al genio griego hay que atribuirle: La transformacin de las tcnicas utilitarias recibidas en concepciones sistemticas. La consideracin de conceptos generales y la introduccin de objetos matemticos. La incorporacin de la demostracin para discernir la veracidad de. los razonamientos. Y la introduccin de los postulados, que son enunciados que hay que admitir sin demostracin. La organizacin de las matemticas como ciencia comienza a producirse en el siglo VI a. O , gracias a Pitgoras de Samos (hacia 570 a. C. - 480 a. C ) , que crea en la transmigracin de las almas, concebida como un castigo al verse el alma obligada a vivir varias vidas para conseguir la purificacin, pasando de una persona a otra e incluso morando en animales o plantas, y afirmaba que la
1 Algunas figuras de esta conferencia se encuentran en el ndice de biografas de la direccin tory/Bioglndex.html
htrp://www-groups.des.st-and.ac.uk/-his-
36
LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO
Tambin representaron los nmeros por puntos y expresaron propiedades geomtricas por relaciones numricas, de las que la ms famosa que se les atribuye, el teorema de Pitgoras, era conocido varios siglos antes de la poca pitagrica. No se atribuye a Pitgoras ninguna de las 367 demostraciones reunidas por Elisha Scott Loomis a principios del siglo XX en el libro The Pytagorean Proposition. Las demostraciones estn clasificadas en algebraicas, geomtricas, dinmicas y cuaterninicas. Una de ellas se debe a James A. Garfield, que lleg a ser presidente de Estados Unidos. La admiracin de sus logros llev a los pitagricos a proclamarse amigos de la sabidura, a creer que haban penetrado en la estructura interna de los nmeros y a intentar unificar los conocimientos matemticos sobre el concepto de nmero. Un atrevimiento posterior les llev a dar tanta importancia a los nmeros que afirmaron que todas las cosas eran nmeros. Con esta afirmacin sin sentido parece que queran expresar que el mundo era atmico y que los cuerpos estaban formados por tomos, que agrupados segn ciertas estructuras geomtricas, definidas por secuencias numricas, permitiran construir figuras.
LAS RESTRICCIONES PITAGRICAS Y LO IRRACIONAL
El trabajo matemtico pitagrico no consisti en la creacin de objetos matemticos, que crean que ya existan, sino en descubrir sus propiedades, que deban mejor purificacin para librarse de la rueda de la reen- ser reflejo de una armona de la naturaleza supuesta a carnacin se obtiene dedicndose a la ciencia desinteresada. priori por los pitagricos, lo que originaba unos ideaDe ah su inters en el estudio de los nmeros, las figuras les de claridad, orden, precisin, belleza y armona, e y sus relaciones. Adems, esas relaciones las consideraba impona al pensamiento unos lmites artificiales, creareflejos de la armona de la naturaleza, por lo que senta dos por los mismos pitagricos, que convertan a la rala conviccin de que el conocimiento matemtico puro le zn en una mquina de fabricar lo irracional al chocar hara penetrar en lo intrnseco de la naturaleza y en el fon- con inexistentes fronteras impuestas que les impedan do de su belleza, a la que deba conformar su conducta ti- lanzarse por los caminos oscuros que se abran ante sus ca. Esta conviccin le llev a fundar una sociedad cient- ojos. fico-religiosa para descubrir lo ms ntimo y bello del Los ideales de belleza llevaron a adoptar el pentgono Universo a travs de la penetracin en la estructura in- regular como uno de sus smbolos, del que Hypaso de terna de los nmeros. Metaponto encontr que la diagonal y el lado eran inAs, los pitagricos descubrieron la relacin entre las lon- conmesurables, lo que con nuestro lenguaje significa que gitudes de las cuerdas de una lira y los acordes fundamen- el cociente de sus longitudes no es racional, descubritales de la msica, y trabajaron con entes matemticos abs- miento que decidieron mantener en secreto dado que hatractos, ideales, perfectos y eternos, que crean que existan ban limitado a priori la existencia de nmeros a los rafuera del espacio y del tiempo, independientes del hombre, cionales. Tampoco el descubrimiento por reduccin al captados por su pensamiento e independientes de sus repre- absurdo de que no era racional el nmero V2, obtenido por sentaciones, ya que por muy perfectas que se dibujen las fi- el cociente entre las longitudes de la diagonal y el lado de guras de una recta, tringulo o crculo tienen irregulari- un cuadrado, les cur de su desconfianza ante los incondades, lo que les llev a las ideas o entes matemticos de mensurables. recta, tringulo o crculo. La relacin entre los entes maAs qued abortada la mayor aportacin de los pitagtemticos y sus representaciones en figuras es la misma que ricos, el descubrimiento de los nmeros irracionales, pues la existente entre las ideas y sus concreciones en palabras, cometieron el error de apoyarse en unas afirmaciones que siempre imgenes imperfectas de las ideas. Ms tarde, Pla- sostenan por encima de la audacia de la duda o del estn ir mucho ms lejos con su conocida teora de las ideas, crpulo de la verificacin. Antes de abordar la empresa cuyo carcter general transciende las matemticas. cientfica propiamente dicha ya se suponan en posesin
Pitgoras de Samos.
37
de los marcos en los que deba moverse la investigacin y se atribuan el poder de fijar el carcter y el alcance de los resultados a que podan llegar. Pronto, en el polo opuesto, se abri paso la reflexin crtica que sigue modesta y seriamente los pasos que el pensamiento da para el planteamiento de los problemas y la demostracin de los teoremas. Cuanto ms originales, audaces e imprevisibles sean estos pasos, tanto ms preciosos los considera para conseguir la conquista de los productos en los que el pensamiento tenga tendencia natural a concentrarse. El propio Platn (427 - 347 a. C.) busc en el estudio de las magnitudes irracionales el apoyo para su doctrina de la particin, en lo que llam ms all del nmero mismo. Su intento no tuvo xito, tal vez por coincidir con la decadencia de la Academia y por la multiplicidad de los temas tratados por la enseanza platnica. En la obra de Theaetetus de Atenas (417 - 369 a. C ) , que fue discpulo de Scrates, ya se ve que el estudio de las magnitudes irracionales no supona el escndalo que aterrorizaba a los pitagricos. Pappus escribi en la introduccin del Libro X de los Elementos de Euclides, que el propsito del libro es investigar los conmensurables e inconmensurables, magnitudes continuas racionales e irracionales, ciencia con origen en la escuela de Pitgoras, pero que ha tenido un importante desarrollo en las manos de Theaetetus, persona de talento que con paciente investigacin estableci distinciones exactas y pruebas irrefutables entre las mencionadas cantidades. B. L. van der Waerden va un poco ms lejos indicando que el Libro X de los Elementos de Euclides es la obra de Theaetetus.
LOS POSTULADOS INCOMPATIBLES Y ZENN DE ELEA
Dos postulados pitagricos decan que la recta se poda dividir indefinidamente y que estaba formada por puntos con dimensin. Tambin admitieron como postulados la divisibilidad infinita del tiempo y que estaba formado por instantes con duracin. Los dos postulados de la recta, al igual que los del tiempo, resultaron ser incompatibles tras las paradojas de Aquiles y la tortuga, de la pista de carreras, de la flecha lanzada hacia la diana y la de los tres atletas elaboradas por Zenn de Elea (490 425 a. C ) . En efecto, de ser ciertos los postulados pitagricos se tendra, por ejemplo, que la persecucin de Aquiles a la tortuga no acabara nunca, pues cada vez que Aquiles se desplazase desde su posicin a la ocupada por la tortuga se tendra que la tortuga estara en otra situacin. El objeto de las paradojas de Zenn era la defensa de las ideas filosficas de Parmnides, su maestro, frente a las de Pitgoras. Como indica su nombre completo, Zenn era natural de Elea, una pequea ciudad de la Magna Grecia, al sur de Italia, donde en el siglo VI a. C. haban llegado unos griegos procedentes de Focea, en Asia Menor, huyendo de los persas. Elea ha sido la cuna de un grupo de filsofos que han tenido gran influencia en el pensamiento occidental. El principal de ellos tal vez fue Parmnides, de quien fue discpulo Zenn. En el ao 450 a. C , Parmnides y Zenn visitaron Atenas, formando parte de una misin diplomtica para convencer a Pericles que firmara un pacto de alianza entre las dos ciudades. Durante la visita, Parmnides y Zenn se reunieron con Scrates, que tena veinticinco aos, lo que debi enriquecer el pensamiento socrtico, dado que la transmisin de las paradojas de Zenn de Elea la debemos a Aristteles. A la vista de los argumentos de Zenn se opt por admitir que un segmento de recta se puede dividir indefinidamente y que est formada por puntos sin dimensin, aceptacin no fcil ya que parece que no existen en el mundo que nos rodea. Platn consideraba que esos puntos geomtricos pertenecen al mundo de las ideas, siendo pensamientos de Dios, en tanto que Aristteles los supona abstracciones mentales de los puntos materiales.
EUCLIDES DE ALEJANDRA
Zenn de Elea.
Euclides de Alejandra (hacia 315 - 225 a. C.) recogi en trece libros, titulados los Elementos, los conocimientos matemticos descubiertos hasta entonces, muchos de ellos obtenidos por los pitagricos. Los recopil ordenadamente en definiciones, postulados, axiomas y proposiciones, con tal perfeccin que don Julio Rey Pastor, uno de los ms eminentes matemticos espaoles fallecidos en el siglo XX, afirm: Si pretendieras agregar o quitar algo de los Ele38
LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL. INFINITO MATEMTICO
Por ello, los primeros problemas que aparecen en los Elementos son de intersecciones de rectas y circunferencias, resolubles con regla y comps. Los griegos no pudieron resolver exactamente con un nmero finito de construcciones hechas con regla y comps
la triseccin del ngulo, la duplicacin del cubo y la cuadra-
tura del crculo. Tuvieron el sentimiento de su irresolubilidad con regla y comps, lo que confirmaron veinte siglos despus Pierre Wantzel y Ferdinand von Lindemann. El primero prob en 1837 la irresolubilidad de los dos primeros problemas con un nmero finito de operaciones con regla y comps. A Lindemann se debe la demostracin de la imposibilidad de la cuadratura del crculo con regla y comps. La importancia histrica de estos tres problemas est en las muchas cuestiones que se desarrollaron y resolvieron buscando su solucin, lo que llev a Klein a decir que se busc hierro y se encontr oro.
Euclides de Alejandra.
mentos de Euclides reconoceras de inmediato que te alejas de la ciencia y te acercas hacia el error y la ignorancia 2. Los Elementos, y la Biblia son las dos obras que ms ediciones han conocido y figuran entre las que ms han influido en la historia de la civilizacin '. Euclides conoca las paradojas de Zenn y por ello en los Elementos consider puntos sin dimensin. En ninguno de los trece libros aparece que la recta sea un conjunto de infinitos puntos y se evita la consideracin explcita de conjuntos con infinitos elementos. En lugar de escribir que el conjunto de nmeros primos es infinito se expone que dado un nmero primo cualquiera existe otro nmero primo mayor que l. Se dice que un conjunto definido por una propiedad A es infinito potencial, si dado un nmero natural podemos encontrar en A ms de n elementos diferentes con esa propiedad. El concepto de infinito actual supone la existencia de conjuntos infinitos, como entes que estn ah, y su admisin lleva a problemas que tal vez vislumbrados por el genio sistematizador de Euclides le llevaron a evitarlos. Los Elementos nos demuestran lo condicionado que estuvo el pensamiento griego por la contemplacin intelectual de lo simple, bello y armonioso, y cmo se crea que las figuras perfectas, como la esfera, el tetraedro regular y el tringulo equiltero, participan de la esencia divina.
Ferdinand von Lindemann.
Cita del discurso de don ngel Martn Municio, presidente de la Real Academia de Ciencias, en la conmemoracin del Ao Mundial de la Matemtica en el Congreso de los Diputados el 21 de enero de 2000. El incunable de los Elementos de Euclides que se encuentra en la Biblioteca del monasterio de San Milln de la Cogolla, en Logroo, es un ejemplar de la edicin princeps de 25 de mayo de 1482, impresa en Venecia por Erhardus Ratdolt y que contiene la versin latina de Campano de Novara, que fue capelln del papa Urbano IV. Segn Boyer, Campano utiliz diversas fuentes rabes, as como la primitiva versin latina de Adelhardo Bathoniensi. Dice Ratdolt en el prefacio que es la primera vez que se han podido imprimir figuras geomtricas. Esta edicin contiene dos libros ms; el XIV se debe, probablemente, a Hipsicles y el XV, a Isidoro de Mileto. En Espaa se encuentran otros ejemplares de esta edicin en la Biblioteca Nacional, en la Casa Ducal de Alba, en la Biblioteca del Palacio Real, en la Biblioteca Capitular de Sevilla, en la Biblioteca de la Universidad de Valladolid y en la R.A.B. de Barcelona. (Datos facilitados por el profesor Jos I. Extremiana, Universidad de La Rioja, utilizando diversas fuentes, una de ellas la leccin inaugural del curso 2000-2001 dada en esa universidad por el profesor Luis J. Hernndez).
39
Los griegos nos dejaron soluciones aproximadas de estos tres problemas y, por ejemplo, Hippias de Elis (460 400 a. C.) construy aproximadamente una curva, no determinable con un nmero finito de operaciones con regla y comps, que permita dividir un ngulo en dos partes proporcionales a dos nmeros dados, lo que, en particular, haca posible la triseccin del ngulo. La llam cuadratriz y su construccin se hace as: En un cuadrado ABCD se traza el cuadrante de circunferencia BED de centro A y radio AB. Supongamos dos puntos materiales inicialmente coincidentes en B. Uno recorre el arco BED y el otro el segmento BBA, de manera que si en un instante cualquiera t ocupan, respectivamente las posiciones Ey B'se tiene arco(BE) BB' que arco{ED) B ' A ' La interseccin F de las rectas AEy B'C, siendo 5'C'paralela a AD, es uno de los puntos de la cuadratriz BFQ. La cuadratriz de Hippias transforma el problema de la divisin de un arco en dos partes de razn p/q a la divisin de un segmento en dos partes de razn p/q, y nos muestra la relacin entre geometra y cinemtica en el pensamiento griego, pues la cuadratriz est determinada por los movimientos del punto Esobre el arco BDy del punto B' sobre el lado BA. Del resultado de Wantzel se deduce que todos los puntos de la cuadratriz no se pueden construir con regla y comps. La regla, el comps y sucesivas bisecciones del ngulo BAD permiten determinar una infinidad numerable y densa de puntos de la cuadratriz, sobre los que un proceso de lmite completara su construccin. As nos asomamos al concepto fundamental del anlisis matemtico, que tambin se formalizar veinte siglos despus del descubrimiento de Hippias.
EL MTODO CIENTFICO EN ARQUI'MEDES
Nuevas relaciones entre matemticas y fsica, el desarrollo de mtodos matemticos generales y el inters por soluciones aproximadas, aparecen en la obra de Arqumedes de Siracusa (hacia 287 - 212 a. C ) , en cuya vida cientfica tuvieron influencia estos tres hechos: 1. Ser hijo del astrnomo Phidias, dato conocido a travs de su libro El calculador de la arena, donde Arqumedes ide un sistema para escribir nmeros muy grandes (hasta 8 x 106), que permita contar los granos de arena del Universo, segn estimaciones de distancias del Universo de Eudoxo, Phidias y Aristarchus, que ya haban propuesto un sistema heliocntrico. Este libro, homenaje a su padre, lo dedic a Geln, hijo del rey Hiern II de Siracusa. 2. Su visita a Egipto siendo joven, donde invent el tornillo sin fin o tornillo de Arqui'medes, estudi con lo sucesores de Euclides y entabl amistad con muchos de ellos, en particular con Conon de Samos, a quien Arqui'medes admiraba por sus habilidades matemticas. En el prlogo de su libro Sobre las espirales nos cuenta que tena la costumbre de enviar a sus amigos de Alejandra las proposiciones geomtricas que obtena; en muchas ocasiones algunos de ellos le decan que eran resultados que ya conocan. As que decidi enviar dos proposiciones falsas intercaladas entre otras para descubrir quin era capaz de atribuirse lo errneo. 3. Su parentesco y amistad con el rey Hiern II de Siracusa, quien le convenci de que dedicase parte del tiempo que empleaba en sus razonamientos sobre matemtica pura a idear artefactos de guerra para defenderse de los romanos, gracias a los cuales derrotaron al comandante romano Marcellus, cuando siti Siracusa en la primera guerra pnica. Arqui'medes adquiri gran fama en vida por sus mquinas de guerra, consecuencia de sus descubrimientos fsicos; por ejemplo, las leyes de la palanca, la polea y del empuje de un cuerpo sumergido en un fluido. Sus aportaciones fsicas tambin le permitieron obtener espectaculares aplicaciones pacficas, como mover un barco sobre la arena y comprobar la estafa en la corona que Hiern II haba mandado hacer para ofrecerla a Jpiter. Sobrevive su frase de que con un punto de apoyo cercano a la Tierra conseguira moverla. La fama de Arqui'medes por sus invenciones mecnicas no influy en su creencia de que lo ms valioso era el desarrollo de la matemtica pura. No haca comentarios sobre las invenciones aplicadas que le haban dado la fama; pareca repudiar lo que slo tena una utilidad prctica, y pona su inters en las especulaciones tericas sin referencia a las necesidades ordinarias de la vida. Su inters y admiracin se concentraba en estudiar los objetos que 40
B' \ \
\
A
Fig. 1 . - La cuadratiz.
de la integracin que Kepler, Cavalieri, Fermat, Leibniz y Newton llevaron a la perfeccin. Tambin nos dej diferentes mtodos de aproximacin, en los que prob que poda aproximar races cuadradas. Adems de El calculador de la arena, Sobre las espirales y El Mtodo, se conservan sus obras Mediciones en un crculo (donde utilizando polgonos de 96 lados inscritos y circunscritos a una circunferencia obtuvo que 223/71 < Jt < 22/7), Teora del equilibrio (dos tomos, donde da los principios fundamentales de la mecnica), Cuadratura de la parbola, Sobre la esfera y el cilindro (dos tomos), Sobre las espirales, Sobre los conoides y esferoides y Sobre los cuerpos flotantes (donde obtiene los principios fundamentales de la hidrosttica). Heath considera los libros de Arqumedes, sin excepcin, monumentos de exposicin matemtica que sobrecogen al lector por el razonamiento, la claridad y la belleza. Por desgracia, no se han conservado todas las obras de Arqumedes, ya que Pappus hace referencia a un tratado del matemtico griego sobre las balanzas y las palancas, y Theon le atribuye un libro sobre los espejos. LOS RABES Y EL LGEBRA El tesoro de la ciencia griega lleg a Occidente a travs de los rabes que, adems, sintetizaron los conocimientos de los sabios griegos con los de los calculadores hindes. Al-Khwarizmi escribi un tratado de numeracin indo-rabe que es, probablemente, el primero en utilizar de forma sistemtica la numeracin con diez dgitos y el cero como indicador posicional. Adems introdujeron el lgebra al observar que no era necesario saber el significado de las magnitudes con las que calculaban. Los objetivos del lgebra en manos de los rabes eran utilitarios, relegando a segundo plano su preocupacin por el rigor. El lgebra lleg en los siglos XIV y XV a un mundo cristiano dominado por el pensamiento griego, lo que dificult la abstraccin algebraica incluso en el siglo siguiente. Por ello Francois Vite (1540 - 1603) no puede razonar con magnitudes sin incorporar la representacin geomtrica y Gregoire de Saint-Vicent (1584 - 1667) escribe sus memorias sin la menor notacin algebraica, como lo hubiese podido hacer un discpulo de Euclides. Como contrapunto, al siglo XVI se le debe la genial resolucin de la ecuacin de tercer grado de Girolamo Cardano (1501 - 1576). DOS APORTACIONES DE LA POCA CARTESIANA Los descubrimientos de Arqumedes estn muy por encima de su poca, por lo que muchos historiadores de las matemticas lo consideran uno de los grandes matemticos de todos los tiempos. La elevacin de su espritu, la profundidad de su alma y el tesoro de su conocimiento cientfico despertaron su inters por los mtodos y principios generales. Y as dej un mtodo de integracin por aproximaciones sucesivas que le llev a obtener reas y volmenes de muchas figuras. Chasles le ve como el fundador Descartes (1596 - 1650) transform el lgebra en el mtodo para razonar en abstracto, que sirvi de base a otros conocimientos cientficos y que el mismo Descartes aplic a la geometra. Imbuido del espritu cartesiano escribir Newton varios lustros despus que para resolver un problema con nmeros o relaciones abstractas basta con traducirlo al sistema algebraico, considerado como mtodo para obtener la ciencia universal.
Arqumedes de Siracusa.
tenan belleza y grandeza, as como en las demostraciones precisas y contundentes. Plutarco matiza que Arqumedes utilizaba sus descubrimientos mecnicos para obtener resultados de geometra pura, afirmacin confirmada despus de que en el verano de 1906, J. L. Heiberg, profesor de filosofa en la Universidad de Copenhague, descubriese la obra de Arqumedes El Mtodo, que da una visin de cmo obtena muchos de sus resultados. Deca Arqumides: Ciertos hechos me parecen claros por un mtodo mecnico, que no suministra una prueba real. Por tanto, deben ser probados despus por el mtodo geomtrico. El conocimiento inicial por el mtodo mecnico facilita la posterior demostracin geomtrica.
41
Gerolamo Cardano.
Bonaventura Cavalieri.
Su explicacin del Universo es esencialmente geomtrica y mecnica. Con lo que no rompi Descartes fue con el error pitagrico de creer en un molde fijo por el que necesariamente deba discurrir todo el conocimiento. Su molde era el lgebra, esa larga cadena de razones que el espritu desarrolla por su propia iniciativa y que constituye el marco para las otras ciencias. Pascal (1623 - 1662) y su intuicin infinitesimal mostraron que tampoco el pensamiento cabe dentro del marco limitado por el lgebra. Otra aportacin de la poca cartesiana, con claro origen geomtrico, es el clculo infinitesimal, que debe mucho a la Geometra de los indivisibles de Bonaventura Cavalieri (1598 - 1647), quien a los diecisiete aos ingres en la Compaa de Jess en Miln. El cardenal Federico BoRene Descartes. rromeo, conocedor de su talento, le puso en contacto con Galileo, de quien siempre se consider discpulo y le aconPara Descartes, el lgebra precede lgicamente a todas sej el estudio de la obra de Euclides, lo que aument su las ramas de las matemticas y no est condicionada por inters por las matemticas. En 1616 estudi Geometra la naturaleza de los problemas a que se aplica, presentn- en Pisa con Benedetto Castelli, y demostr tal habilidad dola como una disciplina independiente, que no apuntala que en ocasiones sustituy al maestro en sus clases. sus desarrollos en consideraciones extraas a la propia cien- En 1629 fue nombrado catedrtico de matemticas en cia. Construy el lgebra partiendo de elementos simples, Bolonia, poca en la que ya haba desarrollado su mtode los que mediante combinaciones pasaba a elementos ms do de los indivisibles, para el desarrollo del clculo intecomplejos. As Descartes rompi con el ideal griego, pa- gral. Lo present en 1635 en su obra Geometra indivisisando de la ciencia obtenida por la contemplacin del bilis continuorum nova, donde extiende el mtodo de Universo a la ciencia constructiva, hecha desde la razn, Arqumedes de integracin por aproximaciones sucesivas, sin que, afortunadamente, se perdiese el ideal de belleza. incorporando la teora de Kepler de las cantidades geo42
mtricas infinitamente pequeas, lo que le permiti encontrar reas y volmenes de diferentes figuras geomtricas. NEWTON: LAS MATEMTICAS, EXPRESIN DE LAS LEYES DE LA NATURALEZA La reforma gregoriana del calendario no fue adoptada en Inglaterra hasta 1752. Por ello, con el calendario local ingls, Isaac Newton naci el da de Navidad de 1642 en Woolsthorpe, Lincolnshire (Inglaterra), que corresponde al 4 de enero de 1643 en el calendario gregoriano. Su padre, un rico granjero sin cultura, haba muerto tres meses antes del nacimiento de Isaac. Los primeros contactos escolares de Newton fueron malos, y se le defini como holgazn y distrado. En que Newton estudiase tuvieron una influencia decisiva su to William Ayscough, que le llev a la Free Grammar School en Granthman, y el director de este centro, apellidado Stokes, buen conocedor de los Elementos de Euclides, que transmiti a Newton la pasin por aprender y convenci a su madre para que le enviase a la universidad. El 5 de junio de 1661 ingres en el Trinity College de Cambridge. La enseanza en Cambrige estaba dominada por la filosofa de Aristteles, si bien se disfrutaba de cierta libertad de estudio en el tercer ao, lo que permiti a Newton estudiar la filosofa de Descartes, Gassendi, Hobbes y Boyle. Tambin le atraa la mecnica de la astronoma de Galileo y la ptica de Kepler. Encabez unos apuntes
de 1664 titulados Questiones Quaedam Pbilosophicae (Cier-
Isaac Newton.
tas Cuestiones Filosficas) con la sentencia: Platn es mi amigo, Aristteles es mi amigo, pero mi mejor amigo es la verdad, mostrndose como un pensador libre a tan corta edad. El inters de Newton por las matemticas comenz en otoo de 1663 cuando adquiri un libro de astrologa y otro de trigonometra en una feria en Cambridge, cuyos aspectos matemticos no pudo entender. Entonces lleg Barrow a la ctedra Lucasiana del Trinity College de Cambridge y le orient hacia el estudio de Clavis Mathematicade Oughtred, La geometra de Descartes, las obras completas de Vieta, el lgebra de Wallis y su mtodo de obtener el rea de segmentos de parbolas e hiprbolas por el mtodo de los indivisibles de Cavalieri. Barrow tambin le facilit su traduccin de los Elementos de Euclides, libro que Newton siempre admir. Despus de terminar sus estudios en abril de 1665, en verano lleg la peste, lo que oblig a cerrar la universidad. Newton se retir durante casi dos aos a Lincolnshire, durante los cuales hizo revolucionarios avances en ptica, fsica, astronoma y matemticas. Elabor el mtodo de las fluxiones, basado en su descubrimiento de que la integracin de una funcin es el procedimiento inverso de la diferenciacin. Utilizando la diferenciacin como operacin bsica estableci los fundamentos del clculo diferencial e integral, y con su mtodo unific tcnicas dadas con anterioridad para resolver problemas aparentemente
no correlacionados, como calcular reas, tangentes, longitudes de curvas y mximos y mnimos de funciones. La obra de Newton De Methodis et Fluxionum fue escrita en 1671, si bien no se public hasta que en 1736 John Colson hizo la traduccin al ingls. Tras la peste se reabri la Universidad de Cambridge (1667) y Newton recibi una beca de investigacin en 1669, ao en el que Barrow intent que los descubrimientos de Newton fuesen universalmente conocidos. A tal fin le envi el texto DeAnalyside Newton a Collins en Londres, indicndole que:
Newton me trajo el otro da algunos papeles en los que haba escrito mtodos de calcular dimensiones de magnitudes, como los de Mr. Mercator para la hiprbola, pero muy generales; tambin ha desarrollado mtodos para resolver ecuaciones, que supongo le encantarn...
En 1669, Barrow dimiti de la ctedra Lucasiana para dedicarse al cultivo de la espiritualidad, y recomend que le sustituyese Newton, que slo tena veintisiete aos. El primer curso de Newton de 1670 fue de ptica. En los dos aos de plaga tambin haba descubierto que la luz blanca se poda descomponer, observando la aberracin cromtica en las lentes del telescopio, as como la refraccin de un rayo de luz al pasar por un prisma. Para evitar la aberracin cromtica construy un telescopio de reflexin que don a la Real Sociedad en 1672, siendo nom-
43
brado miembro de la misma. En 1672 public su primer trabajo cientfico sobre la luz y el color en los Philosophical Transactions ofthe Royal Society, en el que defenda su teora corpuscular de la luz, encontrndose con la oposicin de Hooke y Huygens, partidarios de la teora ondulatoria. Ante esas crticas Newton reaccion irracionalmente, con un deseo patolgico de humillar a Hooke en pblico, y retras la publicacin de su libro de ptica hasta 1704, poco despus de la muerte de Hooke. Newton tuvo que utilizar la teora ondulatoria junto con la corpuscular para explicar algunas de sus observaciones. La mayor aportacin de Newton fueron sus grandes descubrimientos en fsica y en mecnica celeste que culminaron con la teora de la gravitacin universal. En 1666, Newton tena una primera versin de sus tres leyes de dinmica y haba obtenido la ley de la fuerza centrfuga de un cuerpo movindose uniformemente en una circunferencia, lo que le permiti imaginar que la fuerza de gravedad de la Tierra equilibraba la fuerza centrfuga de la Luna. Esta idea y la tercera ley de Kepler del movimiento planetario le permitieron deducir la ley de atraccin de dos masas (F= GMmlr1). Halley4 convenci a Newton para que escribiese un tratado sobre la nueva Fsica y su aplicacin a la astronoma. En 1687, Newton publicaba su Philosophiae naturalis principia mathematica o Principia, como se la conoce generalmente, redactado en algo menos de un ao de dedicacin absoluta. El Principia se reconoce como el mejor libro cientfico jams escrito, que no hubiese podido nacer sin su anterior descubrimiento del clculo infinitesimal y la confianza de Newton en la matemtica como instrumento de investigacin de la naturaleza y de expresin de sus leyes''. En el Principia analiz el movimiento de cuerpos en medios resistentes y no resistentes bajo la accin de fuerzas centrpetas, aplicando los resultados a movimientos de cuerpos en rbitas, de proyectiles, de pndulos y de cada libre cerca de la Tierra. Con su ley de atraccin universal explic un gran conjunto de fenmenos previamente no correlacionados: las rbitas excntricas de los cometas, las mareas y sus variaciones, la precesin del eje de la Tierra y el movimiento de la Luna perturbado por la gravedad del Sol. Este libro convirti a Newton en un lder internacional en la investigacin cientfica, si bien algunos cientficos continentales seguan pensando en la teora de Descartes de que las fuerzas actuaban por contacto. Tras la llegada de Guillermo de Orange, en noviembre de 1688, y la huida de Jacobo II a Francia, de quien Newton era enemigo por la falta de respeto del rey Jacobo a los estatutos de las Universidades de Oxford y Cambridge en
el nombramiento de algunos profesores, la Universidad de Cambridge le eligi como uno de sus dos representantes en el Parlamento, que el 1 5 de enero de 1689 declar que Jacobo II haba abdicado y en febrero de 1689 ofreci la corona a Guillermo. En la cima del prestigio cientfico y universitario, Newton abandon Cambridge para ir a Londres como parlamentario. Entonces dej de investigar por una depresin nerviosa que atribua a su dificultad en poder dormir, lo que parece era consecuencia, y no causa, de algn trastorno mental que sufra desde haca aos. En 1699 fue designado director de la Casa de la Moneda, donde trabaj activamente en la prevencin de la falsificacin de moneda. En 1703 fue elegido presidente de la Royal Society y reelegido cada ao hasta su muerte en 1727. En 1705, la reina Ana le concedi el ttulo de sir, siendo el primer cientfico honrado con esta distincin por su trabajo. En el prximo apartado veremos que, en sus ltimos aos tuvo un duro enfrentamiento con Leibniz para discernir a quin corresponda la primaca del descubrimiento del clculo infinitesimal. LEIBNIZ: LA ALGEBRIZACIN DEL PENSAMIENTO Leibniz naci el 1 de julio de 1646 en Leipzig (Alemania). Su padre, Friedrich Leibniz, era profesor de filosofa moral en Leipzig y aunque muri en 1652 pudo ejercer influencia en la formacin de su hijo gracias al fuerte deseo de ste de leer los libros de metafsica y de teologa de la biblioteca paterna. Ello le llev a los doce aos a adquirir conocimientos avanzados de latn y griego, muy por delante de lo enseado en la Nicolai School de Leipzig. Sera injusto no reconocer la influencia que en su vida y filosofa tambin tuvo su madre, Catharina Schmuck. As se entiende que despus del aprendizaje en la escuela de la lgica de Aristteles y de la teora de categoras no quedase satisfecho con el sistema aristotlico y comenzase a desarrollar sus propias ideas para mejorarlo, buscando las ideas subyacentes en las pruebas matemticas rigurosas. Su primer trabajo, De Principio Individui, lo escribi en 1663 cuando era estudiante en la Universidad de Leipzig, y en l enfatiza que el valor existencial del individuo no se explica ni por la materia ni por la forma, sino por el conjunto del ser. Ah est el antecedente de la nocin de mnada. Pas el verano de 1663 en Jena, donde el profesor de matemticas era el tambin filsofo Erhard Weigel, del que Leibniz aprendi la importancia del m-
' Una discusin cientfica entre Edmond Halley, Robert Hooke y sir Christopher Wren sobre los movimientos planetarios motiv una pregunta de Halley a Newton, quien le dio respuesta inmediata sobre la forma elptica de las rbitas de los planetas. Halley le pregunt cmo haba llegado a esa conclusin, a lo que Newton respondi: porque lo he calculado. No encontr los clculos y Halley le pidi que los tehiciera y que escribiera sus nuevas ideas de fsica. As naci el Principia. s No obstante, y como nos seal el acadmico profesor don Carlos Snchez del Ro, Newton no usa el clculo infinitesimal en sus Principia. Cosa lgica porque quera que lo entendiesen y no iba a escribir una teora nueva en una matemtica tambin nueva y desconocida. Por eso el libro es difcil de leer para nosotros, que estamos acostumbrados a clculos fciles en lugar de las demostraciones de Newton al modo de Euclides.
44
todo de las pruebas matemticas para el estudio de la lgica y la filosofa. Weigel, como Pitgoras, crea que el nmero era el concepto fundamental del Universo y sus ideas tuvieron una considerable influencia en Leibniz. En octubre de 1663 volvi a Leipzig, donde se gradu en 1666 con el trabajo Dissertatio de arte combinatoria, que tena como objetivo reducir todos los razonamientos y descubrimientos a una combinacin de elementos bsicos, como nmeros, letras, sonidos y colores. La intencin de Leibniz con esta combinatoria universal era proporcionar un lenguaje simblico al que se pudiesen trasladar todos los procesos del razonamiento para garantizar la correccin en la argumentacin. La combinatoria universal sera la forma de la estructura racional del pensamiento que, en parte, resolvera el irrealizable sueo medieval de encontrar una Caracterstica Universal que permitiese la deduccin absoluta, haciendo posible al hombre captar cualquier esencia. El doctorado en leyes lo obtuvo en la Universidad de Altdorf en febrero de 1667 con la tesis De Casibus Perplexis (Casos desconcertantes), tras lo que rehus la promesa de una ctedra en Altdorf, y desde noviembre de 1667 trabaj para el barn Johann Christian von Boineburg, lo que le permiti vivir un tpico renacimiento humanista comenzando diferentes proyectos cientficos, literarios y polticos, con el objetivo de recopilar todo el conocimiento huGottfned W. Leibniz. mano. As, poco antes de 1670 mejor el cdigo de derecho civil romano, y en 1671 public Hypothesis Physica Nova (Nuevas Hiptesis Fsicas), que contiene ideas abstractas Vicent y Sluze. Empez sus descubrimientos en clculo dide movimiento para explicar los resultados de Wren y Huy- ferencial e integral, que los comunic en 1674 a Oldengens sobre colisiones elsticas. Tambin contact con Ol- burg, quien le contest que Newton y Gregory haban denburg, secretario de la Royal Society de Londres, con la encontrado ya mtodos generales, adjuntndole una carAcademia de Pars y con Carcavi, bibliotecario real de Pa- ta de Newton con una lista de sus resultados sin demosrs. Adems, anhelaba tambin una carrera literaria, se sen- traciones. La carta tard en llegar a Leibniz, quien contest ta orgulloso de su poesa (casi toda en latn) y presuma de de inmediato, si bien Newton siempre crey que Leibniz poder recitar casi toda la Eneida de Virgilio de memoria. haba tenido seis semanas para trabajar en su contestaUna misin diplomtica en Pars en 1672 para disuadir cin. Leibniz no estaba en buena posicin respecto a la a Luis XIV de atacar territorios germnicos, le permiti es- Royal Society, ya que no haba cumplido su promesa de terminar la mquina de calcular y, adems, Oldenburg tudiar matemticas y fsica bajo la direccin de Christian Huygens, que le aconsej el estudio del libro de Saint- desconoca que Leibniz ya no era el matemtico ordinaVincent sobre suma de series, lo que llev a Leibniz a rea- rio que haba visitado Londres, sino que se haba converlizar algunos descubrimientos, entre ellos el teorema de tido en un creativo genio matemtico. convergencia de series alternadas. El 21 de noviembre de 1675, Leibniz escribi un maOtra misin diplomtica de paz en Londres le permi- nuscrito utilizando la notacin Jf{x)dx por vez primera y ti visitar la Royal Society, ensear la incompleta mqui- dando la regla de derivar un producto. En otoo de 1676 na de calcular que estaba desarrollando, prometiendo re- haba descubierto la regla de derivacin de x" para expogalarla a la Royal Society, y hablar con Hooke, Boyle y nente entero y fraccionario, y aunque Leibniz hubiese dePell. Explic sus resultados sobre series a Pell, que le co- seado permanecer en la Academia de Ciencias de Pars ment que muchos de ellos se podan encontrar en un li- ms tiempo, no se le invit por considerar que haba debro de Mouton. Al da siguiente consult el libro de Mou- masiados extranjeros. Por lo que, contra su voluntad, saton y comprob que la observacin de Pell era correcta. li de Pars en octubre de 1676 hacia Hannover, donde haLeibniz volvi a Pars convencido de que sus conocimientos ba aceptado ser bibliotecario. matemticos eran mucho menores de lo que l hubiese Newton escribi una segunda carta a Leibniz el 24 deseado, por lo que decidi redoblar sus esfuerzos en este de octubre de 1676 que no lleg a Leibniz hasta junio de rea. A pesar de ello, la Royal Society le eligi miembro 1677, cuando ya estaba en Hannover. Esta segunda carel 19 de abril de 1673. ta, aunque corts en tono, estaba claramente escrita penDe nuevo volvi a Pars, donde Huygens le aconsej la sando que Leibniz le haba robado sus mtodos. En la reslectura de obras de Descartes, Fabri, Gregory, Pascal, Saint- puesta Leibniz dio algunos detalles de los principios de
45
del clculo infinitesimal. El comit no dio opcin a Leibsu clculo diferencial incluyendo la regla de diferencianiz de explicar su versin. El informe del comit fue a facin de una funcin de funcin. Newton coment que vor de Newton, quien lo haba redactado annimamenlos problemas descritos por Leibniz ya haban sido rete, y se public en el Commercium epistolicum al comienzo sueltos, y que no vea la necesidad del sistema formalista de 1713 y no fue ledo por Leibniz hasta otoo de 1714. de Leibniz, que, como hoy sabemos, fue vital en el desaLo mismo sucedi con un resumen de dicho informe, rrollo posterior del clculo. tambin annimo, que apareci en los Philosophical Durante el periodo en Hannover trabaj en un proTransactions ofthe Royal Society. Leibniz public una caryecto para eliminar agua de las minas utilizando energa ta annima, titulada Charta volans, donde indicaba que un elica, y de sus observaciones en las minas lleg a la conerror de Newton en la interpretacin de las derivadas de clusin de que la Tierra estuvo fundida en el pasado. En 1680 public Meditationes de Cogntione, Veritate et Ideis, orden superior demostraba la paternidad de Leibniz del clculo infinitesimal. perfeccionando su sistema metafsico que deseaba reducir el razonamiento a un lgebra del pensamiento. Las MeditaLa disputa la continu Keill con una rplica a la Chartiones contienen las bases de su Discours de mtaphysique ta volans, a la que Leibniz se neg a contestar argumende febrero de 1686, ao en el que tambin public en tando que no poda responder a un idiota. Cuando NewActa Eroditorum un artculo sobre clculo integral con la ton le escribi, Leibniz le contest con una detallada notacin actual. De dos aos antes es un manuscrito no descripcin de sus descubrimientos en clculo diferencial. publicado con el desarrollo de la teora de determinantes Desde 1715 hasta su muerte, Leibniz mantuvo corresy sus aplicaciones a los sistemas de ecuaciones. pondencia con Samuel Clarke, un partidario de Newton, Un viaje a Italia para recoger datos y escribir, por encargo, sobre el tiempo, el espacio, el libre albedro, la fuerza de la historia de la familia Guelf le permiti conocer en Floatraccin a travs del vaco y otros tpicos. rencia a Viviani, que haba sido discpulo de Galileo, traDurante su vida, Leibniz intercambi cartas con la mabajar con miembros de la Academia Vaticana, de la que fue yora de los eruditos de Europa (ms de 600) y emple muelegido miembro, y publicar en Roma en 1689 sus dos chas de sus energas en la promocin de sociedades cientomos de Dinmica, fruto de sus crticas a la mecnica de tficas, como la Sociedad de Ciencias de Brandeburgo, Descartes y de su examen del significado profundo de la que presidi hasta su muerte, y que aos ms tarde se energa cintica y potencial. Ese ao se public el Princitransformara en la Academia de Berln. Tambin contripia de Newton, que Leibniz ley en Roma. buy a la creacin de las Academias de Ciencias de San PeEn 1701 public Essay d'une nouvelle science des nombres tersburgo y de Viena, de la que fue designado para ser su para su eleccin como acadmico de la Academia de Cienprimer presidente, cargo que no pudo desempear, ya que cias de Pars, donde expone el sistema binario de la aritmuri antes de que ambas academias empezasen a funmtica que haba desarrollado en 1679. cionar. En 1710, Leibniz public la Teodicea, tratado filosfiLeibniz fue un infatigable trabajador, capaz de estar muco sobre el problema del mal en un mundo creado por chas horas pensando sentado en una misma silla o mienun Dios bueno. Leibniz expone que el Universo debe ser tras viajaba por Europa, un gran cientfico y uno de los imperfecto para distinguirse de Dios. Dice, no obstante, espritus ms agudos de la civilizacin occidental. Delique el Universo es el mejor posible, sin ser perfecto. Leibberadamente ignoraba lasfronterasentre las disciplinas, pues niz es consciente de que su afirmacin se puede rebatir, crea que el cruce de ideas era fructfero y esencial para el pues, por ejemplo, un mundo sin muertes por inundaavance del conocimiento y de la sabidura. ciones sera mejor que el actual. Sin embargo, dice que la eliminacin de los desastres naturales llevara a tal alteraBOLZANO, EL INFINITO ACTUAL cin en las leyes fsicas que el resultado sera un UniverY LA PARADOJA DE GALILEO so peor. En 1714 escribi la Monadologa, en la que sintetiza la filosofa de la Teodicea. Bolzano fue hijo de un comerciante en antigedades Los ltimos aos de la actividad matemtica de Leibniz del norte de Italia que viva en Praga casado con una aleestuvieron centrados en la disputa con Newton sobre la primana. Bolzano naci en 1781 y por deseo paterno hizo la maca en la invencin del clculo. En 1711 ley el artculo de Keill en los Transactions ofthe RoyalSociety de Londres carrera eclesistica y se orden en 1805. Desde 1805 hasta 1820 ense teologa en la Universidad de Praga. que acusaba a Leibniz de plagio. Leibniz le pidi que se Por sus intervenciones a favor de la independencia naretractase dado que jams haba odo del clculo con flucional del pueblo checo y en contra de la monarqua ausxiones hasta que ley las obras de Wallis. Keill le replic traca fue separado de la enseanza, asignndole una penque tena dos cartas de Newton enviadas a travs de Olsin mezquina con la que apenas poda vivir. March a denburg. Techbuz, donde se dedic, con algunos de sus amigos, Leibniz escribi de nuevo a la Royal Society pidiendo a las matemticas y a la filosofa. En el ao 1841 regres a la correccin del dao que le haba hecho Keill. sta nomPraga, ciudad en la que vivi hasta su muerte, acaecida br un comit totalmente sesgado, presidido por el proen 1848. pio Newton, para decidir la primaca en el descubrimiento
46
Bolzano puso en correspondencia biunvoca un conjunto de nmeros reales con un subconjunto propio de l. Algo parecido haba hecho Galileo (1564 - 1642) con su famosa paradoja, que afirmaba que haba tantos nmeros naturales como cuadrados perfectos, haciendo corresponder n con n2. Para evitar la contradiccin con el principio de que el todo es mayor que una de sus partes, Galileo postul que los nmeros naturales no forman un conjunto, desechando as los conjuntos infinitos. La postura cientfica de Bolzano fue radicalmente opuesta a la de Galileo. Bolzano en vez de utilizar su descubrimiento para desechar el concepto de conjunto infinito, como hizo Galileo, lo utiliz como definicin de conjunto infinito, redescubierta aos ms tarde por Dedekind. Un conjunto es, pues, infinito cuando se puede poner en correspondencia biunvoca con una parte de l. Si en Galileo hubiesen tenido menos influencia ciertas ideas a priori, la definicin de conjunto infinito hubiese llegado dos siglos antes. Por tanto, para Bolzano los nmeros naturales, enteros, racionales y reales son conjuntos infinitos. Tambin demostr que el conjunto de proposiciones matemticas es infinito. Estos resultados aparecen en su libro Paradojas del infinito, de carcter filosfico, que fue escrito un ao antes de su muerte. En esta obra se afirma que la mayor parte de los enunciados paradjicos que se encuentran en las matemticas son teoremas que contienen el concepto del infinito, o bien se apoyan en l, lo que le llev a clarificar la nocin de infinito.
CANTOR Y LA TEORA DE CONJUNTOS
Georg Cantor.
Georg Ferdinand Ludwig Phillipp Cantor (1845-1918) naci en San Petersburgo y entre 1873 y 1897 elabor en la Universidad de Halle su teora de conjuntos, de corte idealista, y public sus resultados ms importantes sobre nmeros cardinales y ordinales transfinitos despus de cinco aos de trabajo en series trigonomtricas, tema destacado en el siglo XIX por sus aplicaciones fsicas. Sus padres fueron un rico comerciante dans protestante con profundo amor a la cultura y a las artes y una rusa catlica con grandes dotes musicales. No extraa pues que Cantor fuese un extraordinario violinista. A los doce aos abandon Rusia con gran nostalgia, debido a que la pobre salud de su padre le oblig a buscar un clima ms suave. Vivi en Wiesbaden, en Frankfurt y luego en Darmstadt, donde obtuvo la graduacin con calificaciones excelentes y con mencin explcita de sus excepcionales dotes en matemticas, en particular en trigonometra. En 1862 ingres en el Politcnico de Zurich, pues su padre deseaba que fuese una brillante estrella en el firmamento de la ingeniera. No obstante, ese ao Cantor pidi permiso a su padre para estudiar matemticas en la universidad. La muerte de su padre, en junio de 1863, interrumpi sus estudios en Zurich. Entonces se traslad a la Universidad de Berln,
donde entabl amistad con Hermn Schwarz, compaero de estudios, y recibi clases de Weierstrass, Kummer y Kronecker. Durante 1864-1865 fue presidente de la Sociedad Matemtica, y form parte de un grupo de jvenes matemticos que se reuna semanalmente en una casa de vinos. En 1867 ley su tesis en teora de nmeros sobre De aequationibus secondi gradus indeterminatis. Trabaj en su habilitacin y tras ser asignado a Halle, en 1869, ley su tesis de habilitacin tambin sobre teora de nmeros. En Halle cambi la direccin de sus investigaciones hacia el anlisis, tal vez por la influencia de Heine, que le ofreci investigar sobre un problema entonces abierto de unicidad de la representacin de una funcin en serie trigonomtrica, problema que haba sido abordado sin xito por muchos matemticos, como el propio Heine, Dirichlet, Lipschitz y Riemann. Cantor prob la unicidad en abril de 1870. Public otros artculos sobre series trigonomtricas entre 1870 y 1872, mostrando la influencia de las enseanzas de Weierstrass. Fue promocionado a profesor extraordinario de Halle en 1872, ao en el que comenz su amistad con Dedekind, con quien haba coincidido en vacaciones en Suiza, y public un artculo sobre series trigonomtricas en el que defina los nmeros irracionales mediante sucesiones convergentes de nmeros racionales. Tambin en 1872 Dedekind public su definicin de nmero real mediante las cortaduras de Dedekind, haciendo referencia al artculo de Cantor. En 1873, Cantor prob que se poda numerar el conjunto de los nmeros racionales, estableciendo una biyeccin entre el conjunto de los nmeros racionales y el de los nmeros naturales. Tambin demostr que el conjunto de los nmeros algebraicos, es decir, las races de polinomios con coeficientes enteros, es numerable. En di-
47
ciembre de ese ao consigui demostrar que el conjunto de los nmeros reales no era numerable, resultado publicado en 1874 y del que se deduce que casi todos los nmeros reales son trascendentes. As complet el resultado de 1851 de Liouville, quien haba probado la existencia de nmeros trascendentes. Desde entonces, los conjuntos infinitos nos han ayudado mucho en la obtencin de teoremas de existencia, comprobando que son grandes los conjuntos formados por los elementos buscados. Ms adelante, y desde la obra de Ren-Louis Baire, la teora de categoras nos ha ayudado en este tipo de demostraciones. En 1874 se plante el problema de la existencia de una biyeccin entre el cuadrado unidad [0, 1]* y el intervalo unidad [0, 1], obteniendo en 1877 la biyeccin entre los puntos de [0, 1] y los puntos de un espacio de dimensin p. Sorprendido de su descubrimiento escribi: Lo veo, pero no lo creo!. Cantor estaba ya lejos de ideas preconcebidas al estilo de los pitagricos, que tal vez hubiesen dicho: No lo creemos!, luego no lo vemos y no puede existir. El giro copernicano estaba completamente dado; la ciencia pasaba de observar a crear y los objetos cientficos se convertan en formas de nuestro pensamiento. En algn sentido no somos nosotros los que nos adaptamos para conocer las cosas, sino que son los objetos los que se generan por nuestra forma de conocer. Public este resultado en el Journal de Crelle en 1877, gracias al apoyo de Dedekind y con recelos de Kronecker, por lo que decidi no volver a publicar nada en ese peridico. Entre 1879 y 1884 public seis artculos en el Mathematischen Annalen que proporcionan una introduccin bsica de la teora de conjuntos, siendo la influencia de Klein determinante para la publicacin en Mathematischen Annalen. El quinto de los artculos de Cantor en Mathematischen Annalen, Grundlagen einer allgemeinen Mannigfaltigkeitslehre, fue publicado tambin como una monografa separada, y Cantor pudo comprobar que su teora autnoma de nmeros transfinitos no encontraba la aceptacin que l haba esperado. Desde 1884 comenz a atormentarle el no ser capaz de demostrar la hiptesis del continuo, que, como ya se ha indicado, afirma que cualquier subconjunto infinito de nmeros reales se puede poner en correspondencia biunvoca con el conjunto de los nmeros reales o con el conjunto de los nmeros naturales. La hiptesis del continuo tambin se enuncia diciendo que el cardinal del conjunto de los nmeros reales es el siguiente al cardinal del conjunto de los nmeros naturales. En 1885, Cantor sufri otra contrariedad cuando Mittag-Leffler le persuadi de retirar uno de sus artculos enviados a Acta Mathematica, por considerarlo adelantado en alrededor de cien aos (... about one hundred years too soon), y si bien el hecho debe interpretarse como un gesto de amabilidad de Mittag-Leffler no lo interpret as Cantor, que, contrariado, interrumpi su correspondencia epistolar con Mittag-Leffler y decidi no publicar nada ms en Acta Mathematica. 48
En septiembre de 1893 tuvo una depresin fuerte. Con anterioridad ya haba sufrido depresiones. Prueba de su mal estado mental fue la publicacin en 1894 de un artculo en que describa el mtodo por el que todos los nmeros pares inferiores a 1.000 se podan escribir como suma de dos nmeros primos, siendo conocido que la verificacin de esta conjetura de Goldbach hasta el 10.000 se haba hecho unos cuarenta aos antes. Tras recuperarse de esta depresin aparecieron sus dos ltimos artculos sobre teora de conjuntos en Mathematischen Annalen entre 1895 y 1897, cuyo editor era Klein. Se trata de dos estudios muy finos de aritmtica transfinita y el segundo artculo lo haba terminado seis meses antes de la publicacin del primero. El amplio intervalo entre los dos artculos se debe a que Cantor esperaba poder incluir en el segundo una prueba de la hiptesis del continuo. Desde 1897, Cantor se debati entre depresiones y satisfacciones por el reconocimiento de su obra. El Congreso Internacional de Matemticas de Zurich de 1897 le proclam como uno de los matemticos que ms haba enriquecido la teora de conjuntos. En septiembre de 1911 recibi una invitacin para visitar como sabio extranjero la Universidad de Saint Andrews en Escocia durante la celebracin de su 500 aniversario. Cantor esperaba poder hablar con Russell, que acababa de publicar Principia Mathematica, sin embargo, su enfermedad y las noticias de que uno de sus hijos estaba enfermo le hicieron regresar a Alemania sin ver a Russell. El ao siguiente se le dio el doctorado honoris causa por la Universidad de Saint Andrews, pero estaba demasiado enfermo y no pudo recibirlo en persona. En los periodos de depresin posteriores a 1897 se alejaba de las matemticas y se dedicaba a la filosofa y a recabar informacin sobre una idea literaria que le obsesionaba, que era la creencia de que Francis Bacon haba escrito las obras de Shakespeare. La depresin se agudiz en octubre de 1896 por la muerte de su madre y en enero de 1899 por la de su hermano ms joven. Despus de una estancia en el hospital, en 1905 escribi una obra religiosa. La retirada total de Cantor ue en 1913, pasando penurias cuando empez la Segunda Guerra Mundial. En 1915, la celebracin en Halle de su 70 aniversario hubo de ser cancelada por la guerra, y se hizo una pequea conmemoracin en su casa. En junio de 1917 se produjo su ltimo ingreso en un sanatorio, falleciendo de un ataque al corazn el 6 de enero de 1918.
LAS AXIOMTICAS, LAS PARADOJAS Y EL INGENUO AXIOMA DE ELECCIN
Frege (1848 -1925) entre 1893 y 1903, y siguiendo el modelo idealista de Cantor, elabor un sistema axiomtico para la teora de conjuntos, que pretendi fuese la base de toda la matemtica. Fue invalidado por la clebre paradoja de Bertrand Russell (1872 - 1970) elaborada sobre el conjunto infinito B cuyos elementos son todos los
ordenacin. Hoy sabemos que la conjetura de Cantor y el axioma de eleccin de Zermelo son equivalentes. El aparentemente ingenuo axioma de eleccin de Zermelo habla de existencia y no de cmo hacer la eleccin, lo que requerira un tiempo infinito si la familia de conjuntos no fuese numerable. Por ello, aunque Gdel (1906 1978) prob, en 1940, que el uso del axioma de eleccin no conduce a ninguna contradiccin, su utilizacin nos lleva a consecuencias irrealizables dentro de nuestra realidad temporal. Nuestra limitacin espacio-temporal nos impone otras restricciones, de las que el hbito nos priva de la sorpresa. Y as, por ejemplo, sabemos que no podemos escribir todas las cifras decimales de un nmero irracional o sumar directamente 1 1 1 1 Jt + + ... = 3 5 7 9 4 Una de esas consecuencias irrealizables es el teorema de Banach-Tarski de duplicacin de la esfera, publicado en 1924 en Fundamenta Mathematica. Este teorema demuestra la posibilidad de descomponer una esfera de radio 1 en un nmero finito de partes que, sometidas a ciertos movimientos, se pueden reagrupar en otras dos esferas de radio tambin 1. Este resultado es un teorema, aunque se le conozca, no muy adecuadamente, como paradoja de Banach- Tarski. Algunas de las partes en que se descompone la esfera no deben ser medibles Lebesgue, pues la invariancia de la medida de Lebesgue en los movimientos impide poder duplicar una esfera con descomposiciones medibles Lebesgue. El axioma de eleccin es, pues, fundamental en la paradoja de Banach-Tarski, ya que Solovay demostr en 1971 que sin el axioma de eleccin no se pueden determinar subconjuntos que no sean medibles Lebesgue en el espacio eucldeo tridimensional. 1
Gottlob Frege.
conjuntos Xque no se contienen a s mismos considerados como elementos. X= {1, 2} sera uno de estos conjuntos. En el conjunto i? es contradictorio que B, considerado como un elemento, pertenezca o no al conjunto B. Esta paradoja no evit que David Hilbert (1862 - 1943) hiciese uno de los mayores elogios de la teora de conjuntos de Cantor, profetizando que Cantor haba creado con su teora de conjuntos un paraso para los matemticos, de donde nadie les podra expulsar. La profeca de Hilbert se vio realizada en 1908 cuando apareci la axiomtica de Zermelo, y de forma independiente la de Russell y Whitehead, que restringiendo el concepto de conjunto eliminaron las paradojas. Ambas axiomticas son consistentes, lo que significa que de ninguna de ellas se pueden deducir contradicciones. La axiomtica de Zermelo (1871 - 1953), enriquecida posteriormente por Fraenckel y Skolem, es la ms utilizada. Su axioma quinto postula la existencia de conjuntos infinitos. Otro de los axiomas, llamado hoy axioma de eleccin de Zermelo, nos dice que dada una familia de conjuntos no vacos existe un conjunto que tiene un elemento de cada conjunto de la familia. Admitiendo este axioma, Zermelo public un artculo en 1904 en Mathematischen Annalen con el que resolva positivamente la conjetura de Cantor de que cada conjunto infinito admite una buena
Ernst Zermelo.
49
Prueba evidente del inters de los matemticos por este paradjico resultado es que en 1945 fue complementado por Sierpinski al probar que bastaba descomponer la esfera en ocho partes para poder aplicar la duplicacin de Banach y Tarski6. SIERPINSKI: EL EXPLORADOR DEL INFINITO Waclaw Sierpinski (1882 - 1969) ha sido uno de los mejores continuadores de la teora de conjuntos de Cantor. Gracias a su precoz talento pudo entrar en el Departamento de Matemticas y Fsica de la Universidad de Varsovia en 1899, durante un periodo de ocupacin rusa que haba convertido la universidad polaca en un lugar de trabajo de profesores rusos. La obra de uno de ellos, Voronov, fue lo primero que atrajo la atencin de Sierpinski, que obtuvo un premio al mejor ensayo de la contribucin de Voronov a la teora de nmeros. Este ensayo tiene una importante aportacin al problema del crculo de Gauss, quien haba probado en 1837 que si R(r) es el nmero de puntos de coordenadas enteras contenidos en un crculo de centro el origen y radio r existe una constante C y un nmero k tales que
- Jtr
: Cr
siendo el valor mnimo de k menor o igual que 1. Sierpinski prob que dicho valor era menor o igual que 2/3, resultado mejorado en 1924 por Littlewood y Walfisz al probar que k puede ser menor que 37/56. La mejor cota mnima conocida en la actualidad es 7/11. Sierpinski obtuvo el doctorado en 1908 en Cracovia, bajo la direccin de Zaremba. En 1907 conoci el teorema de la biyeccin entre los puntos de R y de R~ y le pidi a Banachiewicz, que se encontraba en Gttingen, que le explicase cmo era posible ese resultado. Recibi la respuesta del propio Cantor; comenz a estudiar la teora de conjuntos y en 1909 dio un curso dedicado a este tema. Entre 1908 y 1914, mientras enseaba en la Universidad de Lvov, Sierpinski public tres libros y muchos artculos de investigacin. Los libros fueron: Teora de los
nmeros irracionales (1910), Resumen de la teora de conjuntos (1912) y Teora de nmeros (1912).
mer ejemplo explcito de un nmero absolutamente normal ', que tiene la propiedad de que sus dgitos se presentan con la misma frecuencia en cualquier base que se le escriba, cuya existencia, sin dar ningn ejemplo explcito, ya haba sido probada por Borel. Al terminar la guerra, Sierpinski volvi a Lvov en 1918, pero de inmediato le ofrecieron un puesto en la Universidad de Varsovia, donde permaneci el resto de su vida. En 1920, junto con su primer estudiante Mazurkiewicz, fund Fundamenta Mathematica, importante revista especializada en teora de conjuntos. Durante este periodo trabaj en teora de conjuntos, topologa conjuntista y funciones de una variable real, con importantes contribuciones al axioma de eleccin, hiptesis del continuo, series funcionales, diferenciabilidad y clases de Baire. Continu su colaboracin con Lusin en el desarrollo de la teora de conjuntos analticos y proyectivos. En 1921 fue elegido acadmico de la Academia polaca y decano de la Universidad de Varsovia. En 1928 se le nombr vicepresidente de la Sociedad Cientfica de Varsovia y presidente de la Sociedad Matemtica Polaca. La guerra de 1939 cambi su vida, pues tuvo que trabajar de administrativo en el ayuntamiento de Varsovia. La polica alemana quem su casa en 1944, destruyendo su librera y sus cartas personales. Afortunadamente no perdi la vida, como les sucedi a los eminentes matemticos Schauder, Dickstein y Zaremba. Tampoco las dos guerras mundiales afectaron sensiblemente su obra, pues nos ha dejado 724 artculos de investigacin y 50 libros. Recibi nueve doctorados honoris causay fue miembro de catorce academias o instituciones de alto prestigio. Su discpulo Rotkiewicz le describi como persona de salud excepcional y naturaleza generosa, capaz de trabajar en cualesquiera condiciones, de mente creativa y amante de los matemticos creativos, considerndole el mayor y ms productivo de los matemticos polacos. En su tumba se puede leer: Waclaw Sierpinski, 1882 1969. Explorador del infinito.
SUSTITUTOS DEL AXIOMA DE ELECCIN
Cuando empez la Primera Guerra Mundial, Sierpinski y su familia estaban en Rusia. Entonces los gobiernos de Austria y Rusia utilizaban la cuestin polaca como un arma poltica. Sierpinski fue internado en Viatka. En cuanto Egorov y Lusin supieron que estaba preso intercedieron por l para que se le permitiese ir a Mosc, donde pas el resto de aos de guerra trabajando con Lusin en la creacin de la teora de los conjuntos analticos. En 1916, durante su estancia en Mosc, Sierpinski dio el pri-
Ha habido matemticos que con el deseo de eliminar los resultados paradjicos han propuesto la sustitucin de su causa, que es el axioma de eleccin de Zermelo, por otros axiomas ms restrictivos, como el axioma de eleccin numerable, que slo postula que dada una familia numerable de conjuntos existe un conjunto que tiene un elemento de cada conjunto de la familia, o el axioma de Solovay, que nos dice que cada funcin real definida en un espacio eucldeo -dimensional es medible Lebesgue.
Abraham Robinson (1918 - 1974) prob en 1947 que cinco era el mnimo nmero de partes en que se deba descomponer la esfera para duplicarla. En 1961 invent el anlisis no estndar y en 1966, 250 aos despus de la muerte de Leibniz, public su famoso libro Anlisis no estndar, donde presenta una teora rigurosa de los infinitesimales, que obedecen, como Leibniz deseaba, las mismas leyes que los nmeros reales. Un nmero es absolutamente normal si sus dgitos se presentan con la misma frecuencia en cualquier base que se le escriba.
50
caso inters por la poltica. Sin embargo, despus de que un estudiante nacional-socialista asesinara a Schlick, cuyo seminario haba despertado el inters de Gdel por la lgica, se sinti muy afectado y tuvo su primera depresin. Tras recuperarse, recibi en 1934 la primera invitacin GODEL Y LA INCOMPLETITUD DE LA ARITMTICA para dar unos seminarios en Princeton sobre las proposiciones indecidibles en los sistemas matemticos formales Bolzano haba demostrado que el conjunto de propo(On undecidable propositions of formal mathematical syssiciones matemticas es infinito. Gdel (1906 - 1978) tems), de los que Kleene tom unas notas que permitieprob en 1931 que tambin es infinito el conjunto de las ron su publicacin posterior. proposiciones sobre los nmeros enteros y que no es reDe vuelta a Viena se cas con Adele Porkert en 1938, ductible por inferencia lgica a un nmero finito de axioy tuvo la suerte de regresar a Estados Unidos cuando esmas (teorema de la incompletitud de la aritmtica publicado tall la Segunda Guerra Mundial, viajando a travs de Ruen la obra berformal unentscheidbare Sdtze der Principia sia y Japn. Tuvo una ctedra en el Instituto de Estudios Mathematica und verwandter Systeme). Por tanto, un sisAvanzados de Princeton desde 1940 hasta su muerte en tema axiomtico del que se deduzca la aritmtica elemental 1978, ocurrida por desnutricin, ya que se neg a comer contiene proposiciones sobre los nmeros enteros de las ante el convencimiento de que iba a ser envenenado. En que no se puede demostrar ni su veracidad ni su falsedad 1974 recibi la National Medal of Science. a partir del sistema axiomtico y de las reglas usuales de la lgica. Estas proposiciones se denominan indecidibles. GDEL, C O H N Y LA HIPTESIS DEL CONTINU El hallazgo de Gdel de la incompletitud de todo sistema axiomtico que contenga a la aritmtica elemental es uno Al hablar de Cantor hemos comentado que no consigui de los ms profundos e importantes de la lgica mateaveriguar si era o no cierta la hiptesis del continuo*. mtica, del que Gdel afirmaba que su platonismo le ayud mucho en su descubrimiento. Este resultado es un hito En 1940, y en la obra Consistency ofaxiom of cholee and ofthe generalized continuum hypothesis with the axioms of histrico en la matemtica del siglo XX, pues supuso el fin de cientos de aos de intentos de establecer toda la ma- set theory, Gdel prob que si una axiomtica de la teora temtica sobre una base axiomtica. Por tanto, jams se pode conjuntos es consistente'' y se le aade como axioma dr programar un ordenador capaz de contestar a todas las la hiptesis del continuo, el nuevo sistema axiomtico obtenido tambin es consistente. cuestiones matemticas. Kurt Gdel haba ingresado en la Universidad de Viena en 1923 para graduarse en Fsica, pero impresionado por las clases de Phillips Furtwangler, especialista en teora de nmeros, decidi cambiar de Fsica a Matemticas. Adems de Furtwangler tuvo excelentes maestros, como Hahn, Wirtinger, Menger y Helly, entre otros. Antes de terminar sus estudios particip en un seminario dirigido por Schlick que estudiaba el libro Introduction to mathematicalphilosopby, de Bertrand Russell. Se doctor bajo la direccin de Hahn en 1929 y pas a ser miembro de la Facultad de Ciencias de la Universidad de Viena. El propio Hahn, miembro del Crculo de Viena, le puso en contacto con este famoso Crculo, que intentaba construir una filosofa de la ciencia que sostiene que slo tienen sentido las afirmaciones comprobables por la experiencia fsica, y que se la llama positivismo lgico, lo que tambin les llev a eliminar el concepto de Dios. Esto chocaba con el idealismo de Gdel y con su profunda religiosidad, por lo que, aunque les respetaba cientficamente, decidi abandonarlos. En 1933, Hitler lleg al poder, lo que en principio no tuvo influencia en la vida de Gdel en Viena, dado su esKurt Gdel junto a su esposa.
As se eliminan los resultados paradjicos y tambin muchos resultados familiares en el mundo matemtico, lo que justifica su escasa repercusin.
Ya se ha expuesto que la hiptesis del continuo dice que cada subconjunto infinito de nmeros reales o se puede poner en biyeccin con el conjunto N de los nmeros naturales, o con el conjunto R de los nmeros reales. ' Un sistema axiomtico del que no se pueda deducir ninguna contradiccin se dice que es consistente.
51
En 1963, Paul Joseph Cohn (1934 -) complement el resultado anterior probando que si a una axiomtica de la teora de conjuntos se le aada como axioma la negacin de la hiptesis del continuo se obtena otro sistema axiomtico tambin consistente. La conclusin de estos dos resultados es obvia: la hiptesis del continuo es un indecidible, luego Cantor jams la hubiese podido demostrar.
LAS ESTRUCTURAS MATEMTICAS, LA VERDAD Y LA BELLEZA
El esfuerzo del ltimo siglo en encontrar las razones profundas de los descubrimientos y las ideas comunes sepultadas en distintas teoras matemticas han revelado que la actividad interna del pensamiento matemtico se concreta en la nocin de estructura, consistente en ciertos entes abstractos, dados por unas definiciones, y sometidos a unas condiciones independientes, llamados axiomas o postulados, de manera que definiciones y axiomas no lleven a contradiccin. Y as, Emile Borel (1871 - 1956) nos presenta las matemticas como la ciencia que estudia relaciones entre ciertos entes abstractos definidos de manera arbitraria, con la nica condicin de que esas definiciones no conduzcan a contradiccin. Para Borel, la distincin entre las matemticas y la lgica o ciertos juegos como el ajedrez est en que esas definiciones arbitrarias han sido sugeridas, primariamente, por analogas con objetos reales o han sido puras creaciones del espritu humano que han permitido resolver ms fcilmente ciertos problemas que los matemticos o fsicos se planteaban, aclarando las dificultades que stos haban hallado. As, por ejemplo, la lnea recta, el crculo, los cuerpos slidos de la mecnica racional han sido sugeridos por analoga con los objetos reales, en tanto que los nmeros imaginarios, los transfinitos o el axioma de eleccin son puras creaciones del espritu humano que han ayudado en la resolucin de otros problemas matemticos o fsicos. El desarrollo de las matemticas depende, pues, del sistema axiomtico que se utilice. La expresin lnea recta, por ejemplo, tiene sentidos diferentes en la geometra de Euclides, en la de Lobachevski y en la de Riemann. Pero si la recta se define dentro de los axiomas de una geometra sabremos de qu estamos hablando y podremos atribuir a cada enunciado el calificativo de verdadero, falso o bien de indecidible. Segn sea la geometra considerada se tiene que la suma de los ngulos de un tringulo es dos rectos, inferior a dos rectos o superior a dos rectos, resultando que estos teoremas que parecen contradictorios son cada uno de ellos verdadero en la correspondiente geometra. Bertrand Russell (1872 - 1970), con una frase
Bertrand Russell.
equvoca, trat de evidenciar el papel del sistema axiomtico al decir que las matemticas son una ciencia en la que nunca se sabe de qu se habla, ni si lo que se dice es verdadero. Tal vez Russell tuviese el sentimiento de que su deseada identificacin de matemticas y lgica no iba a ser posible, o tal vez la frase slo fuese un reflejo de su ingenioso humor ingls. Tampoco las paradojas e indecidibles empaan la apasionante belleza de la matemtica y en absoluto la privan de su aplicabilidad para expresar e interpretar las leyes de nuestro mundo. Slo reflejan que la matemtica es obra del hombre, limitado en el espacio y el tiempo, e incapaz de escapar a la universalidad de la mxima del poeta bengal RabindranathTagore: Si cerris la puerta a todos los errores dejaris fuera la verdad. Con resultados paradjicos e indecidibles la matemtica es, probablemente, la obra intelectual mejor hecha por el hombre, que crece y se enriquece desde sus mismas limitaciones, gracias al trabajo de muchsimos matemticos que, aunque no son platnicos, actan como si lo fuesen. Mientras estn trabajando, las relaciones y conceptos que manejan los consideran tan tangibles como el mundo que les rodea. Y esto utilizando constantemente el infinito, concepto usual en matemticas10. El platonismo, adems de las matemticas, inspira tambin nuestra ciencia y nuestra actuacin. Gadamer nos dice: ... Platn tena razn. Slo a travs de la supresin de los mitos en la ciencia se convierte en autodominio el dominio del saber. Entre los legados ms importantes que nos dejaron los griegos estn su matemtica y su filosofa. En particular les debemos la idea de verdad, como asentimiento profundo y convincente a una cadena de razonamientos. Al esplendor con que nos dejaron los griegos la idea de verdad no se ha conseguido aadir ms brillantez en veinticinco siglos.
Frase tomada del discurso del profesor M. Valdivia en su investidura como doctor honoris causa en la Universidad de Alicante (2 de mayo de 2000).
52
Rabndranath Tagore.
Paul Valry.
Esa idea de verdad requiere la aceptacin del deber de ir en su bsqueda con el alma entera, excluyendo toda reserva o compromiso, y atando el pensamiento a las exigencias que conforman el honor del trabajo cientfico. Por ello no puede extraarnos que el genio de Descartes, Pascal o Leibniz lo percibamos igual en su creacin matemtica como en su preocupacin por el conocimiento de Dios en las Cinco meditaciones de Metafsica de Descartes o en las Teodiceas de Pascal o Leibniz. La matemtica es considerada por muchos la ms bella de las ciencias y una de las bases de nuestro pensamiento, como expresa el poeta francs Paul Valry (1871 1945) en los siguientes prrafos de su carta indita de febrero de 1932, recogida en la introduccin del libro Las grandes comentes del pensamiento matemtico, de Franc,ois Le Lionnais: Si le atrae el aspecto matemtico del pensamiento, o ms bien el aspecto filosfico de las matemticas, lea las obras de Bertrand Russell, que son muy notables, y combine su lectura con la de los estudios crticos de H. Poincar. Para la mecnica, hallar informes preciosos sobre su gnesis en dos volmenes de Jouquet que estn hechos con textos originales, desde la Antigedad. Desgraciadamente, la guerra ha interrumpido la publicacin de esta
antologa ordenada y comentada, que se detiene (si mis recuerdos son exactos) antes de la introduccin del principio de Mayer. Pero, de manera general, si usted no pretende hacer de las matemticas su principal objeto de estudio y si no busca en ella ms que el fruto tpico que pueden ofrecer al espritu la atencin y el anlisis de conceptos arbitrariamente definidos, me permito darle el consejo de que retome los comienzos de esta ciencia y considere por usted mismo los problemas ms elementales, en apariencia. Estas premisas, por lo dems son una fuente perpetua de reflexiones y descubrimientos para los maestros. Nada ms que en la numeracin hallar usted materia para reflexionar durante largo tiempo. Piense que Leibniz no desde ocuparse de ella. No menos interesante para la meditacin es la notacin algebraica; toda la parte formal y simblica que se ha derivado de ella poco a poco y ha adquirido un desarrollo inmenso, es algo del mayor inters. Lo mismo las definiciones y los postulados de la geometra, cuyo anlisis infinitamente sutil realizado en los tiempos modernos, ha permitido concebir la Fsica como una Geometra generalizada. He aqu, seor, algunas sugerencias. No s si responden a sus deseos, pero yo no soy en absoluto un especialista, sino a lo sumo un admirador y un amante desdichado de la ms bella de las ciencias.
53
20. Berggren, J. L. (1976/77) Spurious theorems in Archimedes' Equilibrium of planes. Book I. Arch. History Exact Sci. 16 (2), 87-103. 1. Arnol'd, V. I. & Vasil'ev, V. A. (1989) Newton's Prin21. Berggren, J. L. (1977) A lacuna in Book T of Archicipia read 300 years laten Notices Amer. Math. Soc. medes Sphere and cylinder. Historia Math. 4, 1-5. 36(9), 1148-1154. 2. Dieudonn, J. (1989) En honor del espritu humano. 22. Beumer, M. G. (11946) Archimedes and the trisection of the angle. Nieuw Tijdschr. Wiskunde 33, Las matemticas hoy. Ed.: Alianza Editorial. 281-287. 3. Garca Barreno, P. director (2000) La Ciencia en tus 23. Blaquier, J. (1947) Sir Isaac Newton: the man and manos. Ed.: Espasa Calpe, Madrid. the mathematician (Spanish), Anales Acad. Nac. Ci. Ex. 4. Garcadiego, A. R. (1988) Bertrand Russell y el oriFis. Nat. Buenos Aires 12, 9-32. gen de las paradojas en la teora de conjuntos. Ma24. Broad, W. J. (1981) Sir Isaac Newton: mad as a hatthesis4{\), 113-130. ter. Science 213, 1341-1344. 5. Le Lionnais, F. (1962) Las grandes corrientes del pen25. Brumbaugh, R.W. (1981) Thephilosophers ofGreece. samiento matemtico. Ed.: Eudeba. Buenos Aires. Ed.: AJbany, New York. 6. Maravall, D. (1961) Filosofa de las matemticas. Ed.: 26. Boyer, C. B. (1952) Fermat and Descartes. Scripta Dossat. Math. 18, 189-217. 7. Maravall, D. (1966) Teora de la Investigacin Mate27. Boyer, C. B. (1959) Descartes and the geometrizamtica. Ed.: Dossat. tion of algebra. Amer. Math. Monthly 66, 390-393. 8. Maravall, D. (1969) Didctica y Dialctica Matem28. Bourbaki, N. (1976) Elementos de la Historia de las Maticas. Ed.: Dossat. temticas. Ed.: Alianza Editorial, Coleccin Alianza 9. Maravall, D. (1973) Grandes problemas de la Filosofa Universidad, Madrid. Cientfica. Ed.: Editora Nacional. 29. Chant, C. A. (1943) Isaac Newton: Born three hun10. Maravall, D. (1981) Introduccin a la investigacin dred years ago. / Roy. Astr. Soc. Canad 37, 1-16. en Fsica y Matemticas. Empeo 14. 30. Costabel, P. (1969) Les mmoires de Leibniz sur 11. Russell, B. (segunda edicin en castellano 1997) His1' arithmetique binaire a l'Acadmie Royale des Scientoria de la filosofa occidental. Ed.: Espasa Calpe, Coces de Paris. Studia Leibnitiana. Supplementa II (Wiesleccin Austral, Madrid. baden), 20-26. 12. Wurtz, J. P. (1989) La naissance du calcul diffrentiel et le problme du statut des infiniment petits: Leib- 31. Costabel, P. (1985) Descartes et la mathmatique de l'infini. Historia Sci. 29, 37-49. niz et Guillaume de L'Hoprital. La Mathmatique non 32. Crossley, J. (1973) A note on Cantor's theorem and standardizas) 13-41. Russell's paradox. Austral. ]. Philos. 51, 70-71. 33. Dawson, J. W. (1986) The papers of Kurt Gdel. HisBIBLIOGRAFA ADICIONAL toria Mathematica 13 (3) (1986), 277. 34. Dauben, J. W. (1979) Georg Cantor: His Mathematics 13. Aaboe, A & Bergren, J. L. (1996) Didactical and otand Philosophy ofthe Infinite. Ed.: Cambridge U. P. her remarks on some theorems of Archimedes and 35. Dijksterhuis, E. J. (1954) Die Integrationsmethoden infinitesimals. Centaurus 38 (4) (1996), 295-316. von Archimedes. Nordisk Mat. Tidskr. 2, 5-23. 14. Adamowicz, Z. (1984) Waclaw Sierpinski's contri- 36. Dilworth, C. (1985) Boyle, Hooke and Newton: some bution to general set theory. Wiadomosci matematyczne aspects of scientific collaboration. Rend. Accad. Naz. 26(1), 9-18. Sci. XL Mem. Sci. Fis. Natur. (5) 9, 329-331. 15. Andrade, E. N. da C. (1943) Newton and the scien- 37. Dimitri'c, R. (1991) Sir Isaac Newton. Math. Intellice of his age. Proc. Roy. Soc. London Ser. A 181, 227gencer 13(1), 61-65. 243. 38. Dugac, P. (1984) Georg Cantor and Henri Poincar. 16. Anellis, I. H. (1987) Russell's earliest interpretation Bulletino Storia delle Scienze Matematiche 4, 65-96. of Cantonan set theory, 1896-1900. Philos. Math. 39. Erlichson, H. (1991) How Newton went from a ma(2)2(1), 1-31. thematical model to a physical model for the problem 17. Archibald, R. C. (1950) The first translation of Euof a first resistive forc. Centaurus 34 (3), 272-283. clid's elements into English and its source. Amer. Math. 40. Feferman, S. (1984) Kurt Gdel: conviction and cauMonthly 57, 443-452. tion. Philos. Natur. 21, 2-4. 18. Bachowicz, K. (1983) On certain of Leibniz's obser- 41. Feingold, M. (1993) Newton, Leibniz and Barrow vations concerning the substantiation of mathematitoo: an attempt at a reinterpretation. Iss 84 (2), 310cal statements. Polish Acad. Sci. Inst. Philos. Bull. Sect. 338. Logic 12 (4), 143-147. 42. Fowler, D. H. (1983) Investigating Euclid's Ele19. Bello, A. Lo (1991) Descartes and the philosophy ments. British]. Philos. Sci. 34, 57-70. of mathematics. The Mathematical Intelligencer 13, 43. Fowler, D. H. (1987) The mathematics of Platos aca35-39. y: a new reconstruction. Ed.: Oxford U. P.
BIBLIOGRAFA
54
44. Fowler, D. H. (1992) An invitation to read Book X of Euclid's Elements. HistoriaMath. 19 (3), 233-264. 45. Franklin, A. y Howson, C. (1985) Newton and Kepler, a Bayesian approach. Stud. Hst. Philos. Sci. 16 (4), 379-385. 46. Freudenthal, H. (1972) Leiniz und die Analysis Situs. Studia Leibnitiana4 (1), 61-69. 47. Gant, F. De (1990) The mathematical style of Newton's Principia, Mathesis 6 (2), 163-189. 48. Gispert, H. (1995) La rhory des ensembles en France avant la crise de 1905: Baire, Borel, Lebesgue ... et tous les autres. Rev. Histoire Math. 1 (1), 39-81. 49. Guerlac, H. (1984) Newton's mathematical way: another look. British J. Hist. Sci. 17 (55, 1), 61-64. 50. Heath, T. L. (1931) A hstory ofGreek mathematics II. Ed.: Oxford U. P. 51. Hendy, M. D. (1975) Euclid and the fundamental theorem of arithmetic. Historia Math. 2, 189-192. 52. Hofmann, J. E. (1974) Leibniz in Pars, 1672-1676. Ed.: Cambridge U.P. 53. Hollingdale, S. H. (1985) Leibniz and the first publication of the calculus in 1684. Bull. Inst. Math. Appl. 21 (5-6), 88-94. 54. Itard, J. (1950) Quelques remarques sur les mthodes infinitesimales chez Euclide et Archimde. Rev. Hist. Sci. Appl. 3, 210-213. 55. Johnson, D. M. (1976) Prelude to dimensin theory: The geometrical investigations of Bernhard Bolzano. Archivfor History of Exact Science 17, 275-296. 56. Jones, C. V. (1987) La influencia de Aristteles en los fundamentos de los Elementos de Euclides. Mathesis 3 (4), 375-387. 57. Kanamori, A. (1996) The mathematical development of set theory from Cantor to Cohn. Bull. Symbolic Logic 2(1), 1-71. 58. Kertsz, A. (1976) The significance of Cantor's ideas for the development of algebra. Scientia 105, 203-209. 59. Keynes, M. (1995) The personality of Isaac Newton, Notes and Records of the Royal Society of London 49, 1-56. 60. Kleene, S. C. (1976) The workofKurtGdel./ Symbolic Logic 4\ (4), 761-778. 61. Kline, M. (1992) El pensamiento matemtico de la Antigedad a nuestros das. Ed.: Alianza Universidad. 62. Kluge, K. W. (1980) Frege, Leibniz and the notion of an ideal language. Studia Leibnitiana 12 (1), 140-154. 63. Knorr, W. R. (1975/76) Archimedes and the measurement of the circle: a new interpretation. Arch. History Exact Sci. 15 (2), 115-140. 64. Knorr, W. R. (1985) Euclid's tenth book: an analytic survey. Historia Sci. 29, 17-35. 65. Levy, A. (1988) Alfred Tarski's work in set theory. /. Symbolic Logic 53 (1), 2-6. 66. Lindemann, H. A. (1946) Leibniz y la lgica moderna. An. Soc. C. Argentina 142, 164-176.
67. Lionnais, F. Le (1952) Descartes et Einstein. Rev. Hist. Sci. Appl. 5, 139-154. 68. Lohne, J. A. (1966) Fermat, Newton, Leibniz und das anaklastiche Problem. Nordisk Mat. Tidskr. 14, 5-25. 69. Loomis, D. E. (1990) Euclid: rhetoric in mathematics. Philos. Math. (2) 5 (1-2), 56-72. 70. McGuire, J. E. (1978) Newton on place, time and God: an unpublished source. British ]. Hist. Sci. 11 (38,2), 114-129. 71. Meurers, J. (1974/75) Bolzanos Paradoxien des Unendlichen und die von Seeliger-Charlierschen Stze ber ein unendliches Universum. Philos. Natur. 15, 176-190. 72. Molland, A. G. (1976) Shifting the foundations: Descartes's transformation of ancient geometry. Historia Math. 3, 21-49. 73. Moore, G. H. (1978) The origins of Zermelo's axiomatisation of set theory. Journal of Philosophical Logic 7, 307-329. 74. Mueller, I. (1969) Euclid's Elements and the axiomatic method. British J. Philos. Sci. 20, 289-309. 75. Murata, T. A tentative reconstruction of the formation process of Book XIII of Euclid's Elements. Comment. Math. Univ. St. Paul. 38(1), 101-127. 76. Murata, T. (1992) Quelques remarques sur le Livre X des Elements d'Euclide. Historia Sci.(2)2{\), 51-60. 77. Nauenberg, M. (1994) Newton's early computational method. Archiv for the History ofthe Exact Science 46 (3), 221-252. 78. Parsons, C. (1995) Platonism and mathematical intuition in Kurt Gdel's thought, Bull. Symbolic Logic 1 (i), 44.74. 79. Peiffer, J. (1989) Leibniz, Newton et leurs disciples. Rev. Histoire Sci. 42 (3), 303-312. 80. Pereira da Silva, C. (1987) On Archimedes of Syracuse. Bol. Soc. Paran. Mat. (2)8 (1), 51-68. 81. Purkert, W. (1986) Georg Cantor und die Antinomien der Mengenlehre. Bull. Soc. Math. Belg. Ser. A 38,313-327. 82. Rotkiewicz, A. (1972) W. Sierpinski's works on the theory ofnumbers. Rend. Circ. Mat. Palermo (2)21, 5-24. 83. Saito, K. (1993) Duplcate ratio in Book VI of Euclids Elements. Historia Sci. (2)3 (2), 115-135. 84. Sato, T. (1979) Archimedes' On the measurement of a circle, Proposition 1: an attempt at reconstruction. Japan Stud. Hist. Sci. 18, 83-99. 85. Schinzel, A. (1984) The role of Waclaw Sierpinski in the history of Polish Mathematics. Wadomosci matematyczne 26 (1), 1-9. 86. Sebestik, J. (1990) El sistema matemtico de Bernard Bolzano. Mathesis 6 (4), 393-417. 87. Simons, P. (1987) Bolzano, Tarski and the limits of logic, Bolzano. Studien. Philos. Natur. 24 (4), 378-405. 88. Solovay, R. M. (1964) A model set-theory in which every set of reals is Lebegue measurable. July meeting
of the Association for Symbolic Logic at Bristol, England.
55
89. Theisen, W. Euclid, relativity, and sailing. Historia Math. 11 (1), 81-85. 90. Thompson, P. (1981) Bolzano's deducibility and Tarski's logical consequence. Hist. Philos. Logic 2, 11-20. 91. Toussaint, G. (1993) Una nueva visin de la segunda proposicin de Euclides. Matbesis9 (3), 265-294. 92. Treder, H. J. (1982) Descartes Physik der Hypothesen, Newtons Physik der Prinzipien und Leibnizens Physik der Prinzipe. Studia Leibnitiana 14 (2), 278-286. 93. Van der Waerden, B. L. (1947-49) Die Arithmetik der Pythagoreer. Math. Annalen 120, 127- 153, 676700. 94. Van Rootselaar, B. (1964/1965) Bolzano's theory of real numbers. Arch. History Exact Sci. 2, 168-180. 95. Wang, H. (1981) Some facts about Kurt Gdel. / Symbolic Logic 46 (3), 653-659. 96. Wangerin, A (1918) Georg Cantor. Leopoldina 54,10-13. 97. Whiteside, D. T. (1970) The mathematical principies underiying Newton's Principia. J. Hist. Astronomy 1, 118-119. 98. Whiteside, D. T. (1970) The mathematical principies underiying Newton's Principia mathematica. J. Hist. Astronomy 1(2), 116-138.
99. Whitrow, G. J. (1989) Newton's role in the history

of mathematics. Notes and Records Roy. Soc. London
100.
101. 102.
103. 104.
43(1), 71-92. Whittaker, E. T. (1942) Aristotle, Newton, Einstein. Proc. Roy. Soc. Edinburgh Sect. A 61, 231246. Whittaker, E. T. (1943) Aristotle, Newton, Einstein. Philos. Mag. (7) 34, 266-280. Yaglom, I. M. (1983) Why was higher mathematics simultaneously discovered by Newton and Leibnitz? Number and thought 6, 99-125 (Mosc). Yushkevich, A. P. Newton and the mathematical natural sciences. Mat. Shkole 1, 64-67. Yushkevich A. P. y Kopelevich, Ju Ch. (1988) La correspondance de Leibniz avec Goldbach. Studia Leibnitiana20 (2) (1988), 175-189.
DIRECCIN EN LA RED
105. http://www-groups.dcs.st-and.ac.uk/-history/Biog Index.html (ndice de biografas).
56

00352

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

00352

Enviado por

Direitos autorais:

Formatos disponíveis

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO.

Real Academia de Ciencias

MANUEL LPEZ PELLICER

Papiro Rhind o papiro de Ahmes.

1 Algunas figuras de esta conferencia se encuentran en el ndice de biografas de la direccin tory/Bioglndex.html

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LOS POSTULADOS INCOMPATIBLES Y ZENN DE ELEA

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL. INFINITO MATEMTICO

Ferdinand von Lindemann.

MANUEL LPEZ PELLICER

EL MTODO CIENTFICO EN ARQUI'MEDES

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

LA ESTRUCTURA RACIONAL DEL PENSAMIENTO MATEMTICO. EL INFINITO MATEMTICO

MANUEL LPEZ PELLICER

99. Whitrow, G. J. (1989) Newton's role in the history

105. http://www-groups.dcs.st-and.ac.uk/-history/Biog Index.html (ndice de biografas).

Você também pode gostar