Historia de la matemtica

Matemtica o Matemticas , es el estudio de las relaciones entre cantidades, magnitudes y

propiedades, y de las operaciones lgicas utilizadas para deducir cantidades, magnitudes y
propiedades desconocidas.
En el pasado la matemtica era considerada como la ciencia de la cantidad, referida a las
magnitudes (como en la geometra), a los nmeros (como en la aritmtica), o a la
generalizacin de ambos (como en el lgebra).
Hacia mediados del siglo XIX la matemtica se empez a considerar como la ciencia de las
relaciones, o como la ciencia que produce condiciones necesarias. Esta ltima nocin abarca la
lgica matemtica o simblica ciencia que consiste en utilizar smbolos para generar una
teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas, postulados y
reglas que transforman elementos primitivos en relaciones y teoremas ms complejos.
En realidad, las matemticas son tan antiguas como la propia humanidad: en los diseos
prehistricos de cermica, tejidos y en las pinturas rupestres se pueden encontrar evidencias
del sentido geomtrico y del inters en figuras geomtricas. Los sistemas de clculo primitivos
estaban basados, seguramente, en el uso de los dedos de una o dos manos, lo que resulta
evidente por la gran abundancia de sistemas numricos en los que las bases son los nmeros
5 y 10.
Las matemticas ms antiguas
Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio a.C.,
en Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con cierto
inters en medidas y clculos geomtricos y sin mencin de conceptos matemticos como los
axiomas o las demostraciones.
Los primeros libros egipcios, escritos hacia el ao 1800 a.C., muestran un sistema de
numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1, 10, 100),
similar al sistema utilizado por los romanos. Los nmeros se representaban escribiendo el
smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo del 10 tantas
veces como decenas haba en el nmero, y as sucesivamente. Para sumar nmeros, se
sumaban por separado las unidades, las decenas, las centenas de cada nmero. La
multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el proceso inverso.
Los egipcios fueron capaces de resolver problemas aritmticos con fracciones, as como
problemas algebraicos elementales. En geometra encontraron las reglas correctas para
calcular el rea de tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros,
cilindros y, por supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban
un cuadrado y llegaban a un valor muy cercano al que se obtiene utilizando la constante pi
(3,14).
El sistema babilnico de numeracin era bastante diferente del egipcio. En el babilnico se
utilizaban tablillas con varias muescas o marcas en forma de cua (cuneiforme); una cua
sencilla representaba al 1 y una marca en forma de flecha representaba al
10 (vase Matemtica en Babilonia ).
China y las matemticas
Aunque la civilizacin china es cronolgicamente comparable a las civilizaciones egipcia y
mesopotmica, los registros existentes son bastante menos fiables.
La primera obra matemtica es "probablemente" el Chou Pei (horas solares) 1200 a.C.? y
junto a ella la ms importante es "La matemtica de los nueve libros" o de los nueve captulos.
Esta obra, de carcter totalmente heterogneo, tiene la forma de pergaminos independientes y
estn dedicados a diferentes temas de carcter eminentemente prctico formulados en 246
problemas concretos, a semejanza de los egipcios y babilnicos y a diferencia de los griegos
cuyos tratados eran expositivos, sistemticos y ordenados de manera lgica.
Los problemas resumen un compendio de cuestiones sobre agricultura, ingeniera, impuestos,
clculo, resolucin de ecuaciones y propiedades de tringulos rectngulos.
El sistema de numeracin es el decimal jeroglfico. Las reglas de las operaciones son las
habituales, aunque destaca como singularidad, que en la divisin de fracciones se exige la
previa reduccin de stas a comn denominador.
Dieron por sentada la existencia de nmeros negativos, aunque nunca los aceptaron como
solucin a una ecuacin
La contribucin algebraica ms importante es, sin duda, el perfeccionamiento alcanzado en la
regla de resolucin de sistemas de ecuaciones lineales. Para todos los sistemas se establece
un mtodo genrico de resolucin muy similar al que hoy conocemos como mtodo de Gauss ,
expresando incluso los coeficientes en forma matricial, transformndolos en ceros de manera
escalonada.
Inventaron el "tablero de clculo", artilugio consistente en una coleccin de palillos de bamb
de dos colores (un color para expresar los nmeros positivos y otro para los negativos) y que
podra ser considerado como una especie de baco primitivo.
Esta orientacin algortmica de las matemticas en la China Antigua, se mantiene hasta
mediados del siglo XIV debido fundamentalmente a las condiciones socio-econmicas de esta
sociedad.
Con el desarrollo del "mtodo del elemento celeste" se culmin el desarrollo del lgebra en
China en la edad media. Este mtodo, desarrollado por Chou Shi Hi, permita encontrar races
no slo enteras, sino tambin racionales, e incluso aproximaciones decimales para ecuaciones
de la forma Pn(x)=a 4 x 4 +a 3 x 3 +a 2 x 2 +a 1 x+a o .
El mtodo del elemento celeste es equivalente al que en Occidente denominamos "mtodo de
Horner", matemtico que vivi medio siglo ms tarde.
Otro gran logro de la poca medieval fue la suma de progresiones desarrollado por Chon Huo
(s. XI) y Yang Hui (s.XIII). Unido a estas sumas de progresiones se establecieron elementos
slidos en la rama de la combinatoria, construyendo el llamado "espejo precioso" de manera
similar al que hoy conocemos como tringulo de Tartaglia o Pascal.
No se puede decir que la geometra fuese el punto fuerte de la cultura china, limitndose
principalmente a la resolucin de problemas sobre distancias y semejanzas de cuerpos.
Aproximadamente a mediados del siglo XIV comenz en China un largo periodo de
estancamiento.
Las matemticas en Grecia
Los griegos tomaron elementos de las matemticas de los babilonios y de los egipcios. La
innovacin ms importante fue la invencin de las matemticas abstractas basadas en una
estructura lgica de definiciones, axiomas y demostraciones.
Segn los cronistas griegos, este avance comenz en el siglo VI a.C. con Tales de
Mileto y Pitgoras de Samos. Este ltimo ense la importancia del estudio de los nmeros
para poder entender el mundo. Algunos de sus discpulos hicieron importantes descubrimientos
sobre la teora de nmeros y la geometra, que se atribuyen al propio Pitgoras.
En el siglo V a.C., algunos de los ms importantes gemetras fueron el filsofo
atomista Demcrito de Abdera, que encontr la frmula correcta para calcular el volumen de
una pirmide, e Hipcrates de Cos, que descubri que el rea de figuras geomtricas en forma
de media luna limitadas por arcos circulares son iguales a las de ciertos tringulos. Este
descubrimiento est relacionado con el famoso problema de la cuadratura del crculo (construir
un cuadrado de rea igual a un crculo dado).
Otros dos problemas bastante conocidos que tuvieron su origen en el mismo periodo son la
triseccin de un ngulo y la duplicacin del cubo (construir un cubo cuyo volumen es dos veces
el de un cubo dado). Todos estos problemas fueron resueltos, mediante diversos mtodos,
utilizando instrumentos ms complicados que la regla y el comps. Sin embargo, hubo que
esperar hasta el siglo XIX para demostrar finalmente que estos tres problemas no se pueden
resolver utilizando solamente estos dos instrumentos bsicos.
A finales del siglo V a.C., un matemtico griego descubri que no existe una unidad de longitud
capaz de medir el lado y la diagonal de un cuadrado, es decir, una de las dos cantidades
esinconmensurable. Esto significa que no existen dos nmeros naturales m y n cuyo cociente
sea igual a la proporcin entre el lado y la diagonal.
Debido a que los griegos slo utilizaban los nmeros naturales (1, 2, 3), no pudieron
expresar numricamente este cociente entre la diagonal y el lado de un cuadrado (este nmero
es lo que hoy se denomina nmero irracional ). En razn de este descubrimiento se abandon
la teora pitagrica de la proporcin, basada en nmeros, y se tuvo que crear una nueva teora
no numrica. sta fue introducida en el siglo IV a.C. por el matemtico Eudoxo de Cnido, y la
solucin se puede encontrar en los Elementos de Euclides . Eudoxo, adems, descubri un
mtodo para demostrar rigurosamente supuestos sobre reas y volmenes mediante
aproximaciones sucesivas.
Euclides, matemtico y profesor que trabajaba en el famoso Museo de Alejandra, tambin
escribi tratados sobre ptica, astronoma y msica. Los trece libros que componen
sus Elementoscontienen la mayor parte del conocimiento matemtico existente a finales del
siglo IV a.C., en reas tan diversas como la geometra de polgonos y del crculo, la teora de
nmeros, la teora de los inconmensurables, la geometra del espacio y la teora elemental de
reas y volmenes.
El siglo posterior a Euclides estuvo marcado por un gran auge de las matemticas, como se
puede comprobar en los trabajos de Arqumedes de Siracusa y de un joven contemporneo,
Apolonio de Perga.
Arqumedes utiliz un nuevo mtodo terico, basado en la ponderacin de secciones
infinitamente pequeas de figuras geomtricas, para calcular las reas y volmenes de figuras
obtenidas a partir de las cnicas. stas haban sido descubiertas por un alumno de Eudoxo
llamado Menaechmo, y aparecan como tema de estudio en un tratado de Euclides; sin
embargo, la primera referencia escrita conocida aparece en los trabajos de Arqumedes.
Tambin investig los centros de gravedad y el equilibrio de ciertos cuerpos slidos flotando en
agua.
Casi todo su trabajo es parte de la tradicin que llev, en el siglo XVII, al desarrollo del clculo.
Su contemporneo, Apolonio, escribi un tratado en ocho tomos sobre las cnicas, y estableci
sus nombres: elipse, parbola e hiprbola. Este tratado sirvi de base para el estudio de la
geometra de estas curvas hasta los tiempos del filsofo y cientfico francs Ren
Descartes en el siglo XVII.
Despus de Euclides, Arqumedes y Apolonio, Grecia no tuvo ningn gemetra de la misma
talla. Los escritos de Hern de Alejandra en el siglo I d.C. muestran cmo elementos de la
tradicin aritmtica y de medidas de los babilonios y egipcios convivieron con las
construcciones lgicas de los grandes gemetras.
Los libros de Diofante de Alejandra en el siglo III d.C. continuaron con esta misma tradicin,
aunque ocupndose de problemas ms complejos. En ellos Diofante encuentra las soluciones
enteras para aquellos problemas que generan ecuaciones con varias incgnitas. Actualmente,
estas ecuaciones se denominan diofnticas y se estudian en el anlisis diofntico.
Las matemticas aplicadas en Grecia
En paralelo con los estudios sobre matemticas puras hasta ahora mencionados, se llevaron a
cabo estudios de ptica, mecnica y astronoma. Muchos de los grandes matemticos, como
Euclides y Arqumedes, tambin escribieron sobre temas astronmicos.
A principios del siglo II a.C., los astrnomos griegos adoptaron el sistema babilnico de
almacenamiento de fracciones y, casi al mismo tiempo, compilaron tablas de las cuerdas de un
crculo. Para un crculo de radio determinado, estas tablas daban la longitud de las cuerdas en
funcin del ngulo central correspondiente, que creca con un determinado incremento. Eran
similares a las modernas tablas del seno y coseno, y marcaron el comienzo de la trigonometra.
En la primera versin de estas tablas las de Hiparco, hacia el 150 a.C. los arcos crecan
con un incremento de 71, de 0 a 180.
En tiempos del astrnomo Tolomeo, en el siglo II d.C., la maestra griega en el manejo de los
nmeros haba avanzado hasta tal punto que Tolomeo fue capaz de incluir en
su Almagesto una tabla de las cuerdas de un crculo con incrementos de 1 que, aunque
expresadas en forma sexagesimal, eran correctas hasta la quinta cifra decimal.
Mientras tanto, se desarrollaron otros mtodos para resolver problemas con tringulos planos y
se introdujo un teorema que recibe el nombre del astrnomo Menelao de Alejandra para
calcular las longitudes de arcos de esfera en funcin de otros arcos. Estos avances dieron a los
astrnomos las herramientas necesarias para resolver problemas de astronoma esfrica, y
para desarrollar el sistema astronmico que sera utilizado hasta la poca del astrnomo
alemn Johannes Kepler.
Las matemticas en la edad media
En Grecia, despus de Tolomeo, se estableci la tradicin de estudiar las obras de estos
matemticos de siglos anteriores en los centros de enseanza. El que dichos trabajos se hayan
conservado hasta nuestros das se debe principalmente a esta tradicin. Sin embargo, los
primeros avances matemticos consecuencia del estudio de estas obras aparecieron en el
mundo rabe.
La India y las matemticas
Son muy escasos los documentos de tipo matemtico que han llegado a nuestras manos, pese
a tener constancia del alto nivel cultural de esta civilizacin. Aun ms que en el caso de China,
existe una tremenda falta de continuidad en la tradicin matemtica hind y al igual que ocurra
con las tres civilizaciones anteriores, no existe ningn tipo de formalismo terico.
Los primeros indicios matemticos se calculan hacia los siglos VIII-VII a.C, centrndose en
aplicaciones geomtricas para la construccin de edificios religiosos y tambin parece evidente
que desde tiempos remotos utilizaron un sistema de numeracin posicional y decimal.
Fue, sin embargo, entre los siglos V-XII d.C cuando la contribucin a la evolucin de las
matemticas se hizo especialmente interesante, destacando cuatro nombres propios:
Aryabhata (s.VI), Brahmagupta (s.VI), Mahavira (s. IX) y Bhaskara Akaria (s.XII).
La caracterstica principal del desarrollo matemtico en esta cultura, es el predominio de las
reglas aritmticas de clculo, destacando la correcta utilizacin de los nmeros negativos y la
introduccin del cero, llegando incluso a aceptar como nmeros validos las nmeros
irracionales.
Profundizaron en la obtencin de reglas de resolucin de ecuaciones lineales y cuadrticas, en
las cuales las races negativas eran interpretadas como deudas. Desarrollaron tambin, sin
duda para resolver problemas astronmicos, mtodos de resolucin de ecuaciones diofnticas,
llegando incluso a plantear y resolver (s.XII) la ecuacin x 2 =1+ay 2 , denominada ecuacin de
Pelt.
Como resumen acabaremos diciendo que en la historia de la India se encuentran suficientes
hechos que ponen en evidencia la existencia de relaciones polticas y econmicas con los
estados griegos, egipcios, rabes y con China. Matemticamente se considera indiscutible la
procedencia hind del sistema de numeracin decimal y las reglas de clculo.
Los rabes y las matemticas
Los nmeros que llamamos rabes no son rabes sino hindes; pero la mayora de la gente
cree, errneamente, que los nmeros que utiliza son rabes.
Tampoco las cifras que utilizamos son originales de los rabes: si se observa la grafa hind del
siglo VI se puede comprobar que es muy similar a la nuestra.
Despus de un siglo de expansin en la que la religin musulmana se difundi desde sus
orgenes en la pennsula Arbiga hasta dominar un territorio que se extenda desde la
pennsula Ibrica hasta los lmites de la actual China, los rabes empezaron a incorporar a su
propia ciencia los resultados de "ciencias extranjeras".
Los traductores de instituciones como la Casa de la Sabidura de Bagdad, mantenida por los
califas gobernantes y por donaciones de particulares, escribieron versiones rabes de los
trabajos de matemticos griegos e indios.
Hacia el ao 900, el periodo de incorporacin se haba completado y los estudiosos
musulmanes comenzaron a construir sobre los conocimientos adquiridos.
El sistema hind era, al contrario del griego o romano, de carcter "posicional". Lo que significa
que las cifras tiene diferente valor segn el lugar que ocupan. Entre otros avances, los
matemticos rabes ampliaron el sistema indio de posiciones decimales en aritmtica de
nmeros enteros, extendindolo a las fracciones decimales.
Para los romanos V era siempre cinco estuviera colocado en una posicin o en otra (V I I=
5+1+1=7; VI = 5+1=6), mientras que para nosotros, y mucho antes para los hindes, en el
nmero 511 el cinco vale quinientos mientras que en el 51 vale cincuenta. Esta idea que hoy
nos puede parecer tan elemental los grandes matemticos griegos no la tuvieron y sin embargo
se tiene constancia de que en el siglo VI los hindes no slo la utilizaban en su sistema de
numeracin sino que adems manejaban con soltura las cuatro reglas y el cero.
El gran mrito atribuible, pues, a los rabes es el de haberse dado cuenta de las ventajas que
el sistema hind tena sobre todos los dems.
Cuando se habla de matemtica rabe no se suele tener en cuenta, adems, que muchos de
los cientficos de los que se habla eran persas, judos e incluso cristianos.
En el siglo XII, el matemtico persa Omar Khayyam generaliz los mtodos indios de
extraccin de races cuadradas y cbicas para calcular races cuartas, quintas y de grado
superior.
El ms conocido de los matemticos rabes es Mohammed Ibn Musa Al-Khwarizmi (780-
850), conodido como padre del lgebra .
Se sabe poco de su vida salvo que vivi en la primera mitad del siglo IX y que trabaj en la
biblioteca del califa de Bagdad.
Escribi libros sobre geografa, astronoma y matemtica. En su obra Aritmtica ("Algoritmi de
numero indorum") explica con detalle el funcionamiento del sistema decimal y del cero que
usaban en la India. Obra de gran importancia pues contribuy a la difusin del sistema de
numeracin indio y al conocimiento del cero.
Debe destacarse la obra de contenido algebrico " Hisab al-yabr wa'l muqqabala ",
considerada uno de los primeros libros de lgebra. Obra eminentemente didctica con
abundantes problemas para resolver y adiestrar al lector, principalmente, en la resolucin de
ecuaciones de segundo grado.
Es el autor de uno de los mtodos ms antiguos que se conocen para resolver ecuaciones de
segundo grado. Dicho mtodo, geomtrico, se conoce como de completar cuadrado .
Los gemetras, como Ibrahim ibn Sinan, continuaron las investigaciones de Arqumedes sobre
reas y volmenes. Kamal al-Din y otros aplicaron la teora de las cnicas a la resolucin de
problemas de ptica. Los matemticos Habas al-Hasib y Nasir ad-Din at-Tusi crearon
trigonometras plana y esfrica utilizando la funcin seno de los indios y el teorema de
Menelao. Estas trigonometras no se convirtieron en disciplinas matemticas en Occidente
hasta la publicacin del De triangulis omnimodis (1533) del astrnomo alemn Regiomontano.
Finalmente, algunos matemticos rabes lograron importantes avances en la teora de
nmeros, mientras otros crearon una gran variedad de mtodos numricos para la resolucin
de ecuaciones.
Los pases europeos con lenguas latinas adquirieron la mayor parte de estos conocimientos
durante el siglo XII, el gran siglo de las traducciones.
Los trabajos de los rabes, junto con las traducciones de los griegos clsicos fueron los
principales responsables del crecimiento de las matemticas durante la edad media. Los
matemticos italianos, como Leonardo Fibonacci y Luca Pacioli (uno de los grandes tratadistas
del siglo XV en lgebra y aritmtica, que desarrollaba para aplicar en el comercio), se basaron
principalmente en fuentes rabes para sus estudios.
Las matemticas durante el renacimiento
Aunque el final del periodo medieval fue testigo de importantes estudios matemticos sobre
problemas del infinito por autores como Nicole Oresme, no fue hasta principios del siglo XVI
cuando se hizo un descubrimiento matemtico de trascendencia en Occidente. Era una frmula
algebraica para la resolucin de las ecuaciones de tercer y cuarto grado, y fue publicado en
1545 por el matemtico italiano Gerolamo Cardano en su Ars magna.
Este hallazgo llev a los matemticos a interesarse por los nmeros complejos y estimul la
bsqueda de soluciones similares para ecuaciones de quinto grado y superior. Fue esta
bsqueda la que a su vez gener los primeros trabajos sobre la teora de grupos a finales del
siglo XVIII y la teora de ecuaciones del matemtico francs variste Galois a principios del
XIX.
Tambin durante el siglo XVI se empezaron a utilizar los modernos signos matemticos y
algebraicos. El matemtico francs Franois Vite llev a cabo importantes estudios sobre la
resolucin de ecuaciones. Sus escritos ejercieron gran influencia en muchos matemticos del
siglo posterior, incluyendo a Pierre de Fermat en Francia e Isaac Newton en Inglaterra.
Avances en el siglo XVII
Los europeos dominaron el desarrollo de las matemticas despus del renacimiento.
Durante el siglo XVII tuvieron lugar los ms importantes avances en las matemticas desde la
era de Arqumedes y Apolonio. El siglo comenz con el descubrimiento de los logaritmos por
el matemtico escocs John Napier (Neper); su gran utilidad llev al astrnomo francs Pierre
Simon Laplace a decir, dos siglos ms tarde, que Neper, al reducir el trabajo de los astrnomos
a la mitad, les haba duplicado la vida.
La ciencia de la teora de nmeros, que haba permanecido aletargada desde la poca
medieval, es un buen ejemplo de los avances conseguidos en el siglo XVII basndose en los
estudios de la antigedad clsica. La obra Las aritmticas de Diofante ayud a Fermat a
realizar importantes descubrimientos en la teora de nmeros. Su conjetura ms destacada en
este campo fue que no existen soluciones de la ecuacin an + bn = cn con a, b y c enteros
positivos si n es mayor que 2. Esta conjetura, conocida como ltimo teorema de Fermat, ha
generado gran cantidad de trabajos en el lgebra y la teora de nmeros.
En geometra pura, dos importantes acontecimientos ocurrieron en este siglo. El primero fue la
publicacin, en el Discurso del mtodo (1637) de Descartes, de su descubrimiento de
la geometra analtica , que mostraba cmo utilizar el lgebra (desarrollada desde el
renacimiento) para investigar la geometra de las curvas (Fermat haba hecho el mismo
descubrimiento pero no lo public).
El Discurso del mtodo, junto con una serie de pequeos tratados con los que fue publicado,
ayud y fundament los trabajos matemticos de Isaac Newton hacia 1660. El segundo
acontecimiento que afect a la geometra fue la publicacin, por el ingeniero francs Grard
Desargues, de su descubrimiento de la geometra proyectiva en 1639.
Aunque este trabajo fue alabado por Descartes y por el cientfico y filsofo francs Blaise
Pascal , su terminologa excntrica y el gran entusiasmo que haba causado la aparicin de la
geometra analtica retras el desarrollo de sus ideas hasta principios del siglo XIX, con los
trabajos del matemtico francs Jean Victor Poncelet.
Otro avance importante en las matemticas del siglo XVII fue la aparicin de la teora de la
probabilidad a partir de la correspondencia entre Pascal y Fermat sobre un problema presente
en los juegos de azar, el llamado problema de puntos. Este trabajo no fue publicado, pero llev
al cientfico holands Christiaan Huygens a escribir un pequeo folleto sobre probabilidad en
juegos con dados, que fue publicado en el Ars coniectandi (1713) del matemtico suizo
Jacques Bernoulli.
Tanto Bernoulli como el francs Abraham De Moivre, en su Doctrina del azar de 1718,
utilizaron el recin descubierto clculo para avanzar rpidamente en su teora, que para
entonces tena grandes aplicaciones en pujantes compaas de seguros.
Sin embargo, el acontecimiento matemtico ms importante del siglo XVII fue, sin lugar a
dudas, el descubrimiento por parte de Newton de los clculos diferencial e integral, entre 1664
y 1666. Newton se bas en los trabajos anteriores de dos compatriotas, John Wallis e Isaac
Barrow, as como en los estudios de otros matemticos europeos como Descartes, Francesco
Bonaventura Cavalieri, Johann van Waveren Hudde y Gilles Personne de Roberval.
Unos ocho aos ms tarde, el alemn Gottfried Wilhelm Leibniz descubri tambin el clculo y
fue el primero en publicarlo, en 1684 y 1686. El sistema de notacin de Leibniz es el que se
usa hoy en el clculo.
Situacin en el siglo XVIII
Durante el resto del siglo XVII y buena parte del XVIII, los discpulos de Newton y Leibniz se
basaron en sus trabajos para resolver diversos problemas de fsica, astronoma e ingeniera, lo
que les permiti, al mismo tiempo, crear campos nuevos dentro de las matemticas. As, los
hermanos Jean y Jacques Bernoulli inventaron el clculo de variaciones y el matemtico
francs Gaspard Monge la geometra descriptiva.
Joseph Louis Lagrange, tambin francs, dio un tratamiento completamente analtico de la
mecnica en su gran obra Mecnica analtica (1788), en donde se pueden encontrar las
famosas ecuaciones de Lagrange para sistemas dinmicos. Adems, Lagrange hizo
contribuciones al estudio de las ecuaciones diferenciales y la teora de nmeros, y desarroll la
teora de grupos. Su contemporneo Laplace escribi Teora analtica de las
probabilidades (1812) y el clsico Mecnica celeste (1799-1825), que le vali el sobrenombre
de el Newton francs.
El gran matemtico del siglo XVIII fue el suizo Leonard Euler , quien aport ideas
fundamentales sobre el clculo y otras ramas de las matemticas y sus aplicaciones. Euler
escribi textos sobre clculo, mecnica y lgebra que se convirtieron en modelos a seguir para
otros autores interesados en estas disciplinas. Sin embargo, el xito de Euler y de otros
matemticos para resolver problemas tanto matemticos como fsicos utilizando el clculo slo
sirvi para acentuar la falta de un desarrollo adecuado y justificado de las ideas bsicas del
clculo.
La teora de Newton estaba basada en la cinemtica y las velocidades, la de Leibniz en los
infinitsimos, y el tratamiento de Lagrange era completamente algebraico y basado en el
concepto de las series infinitas. Todos estos sistemas eran inadecuados en comparacin con el
modelo lgico de la geometra griega, y este problema no fue resuelto hasta el siglo posterior.
Las matemticas en el siglo XIX
En 1821, un matemtico francs, Augustin Louis Cauchy, consigui un enfoque lgico y
apropiado del clculo. Cauchy bas su visin del clculo slo en cantidades finitas y el
concepto de lmite. Sin embargo, esta solucin plante un nuevo problema, el de la definicin
lgica de nmero real.
Aunque la definicin de clculo de Cauchy estaba basada en este concepto, no fue l sino el
matemtico alemn Julius W. R. Dedekind quien encontr una definicin adecuada para los
nmeros reales, a partir de los nmeros racionales, que todava se ensea en la actualidad; los
matemticos alemanes Georg Cantor y Karl T. W. Weierstrass tambin dieron otras
definiciones casi al mismo tiempo.
Un problema ms importante que surgi al intentar describir el movimiento de vibracin de un
resorte estudiado por primera vez en el siglo XVIII fue el de definir el significado de la
palabra funcin. Euler, Lagrange y el matemtico francs Joseph Fourier aportaron soluciones,
pero fue el matemtico alemn Peter G. L. Dirichlet quien propuso su definicin en los trminos
actuales.
Adems de fortalecer los fundamentos del anlisis, nombre dado a partir de entonces a las
tcnicas del clculo, los matemticos del siglo XIX llevaron a cabo importantes avances en esta
materia.
A principios del siglo, Carl Friedrich Gauss dio una explicacin adecuada del concepto de
nmero complejo; estos nmeros formaron un nuevo y completo campo del anlisis,
desarrollado en los trabajos de Cauchy, Weierstrass y el matemtico alemn Bernhard
Riemann.
Otro importante avance del anlisis fue el estudio, por parte de Fourier, de las sumas infinitas
de expresiones con funciones trigonomtricas. stas se conocen hoy como series de Fourier, y
son herramientas muy tiles tanto en las matemticas puras como en las aplicadas.
Adems, la investigacin de funciones que pudieran ser iguales a series de Fourier llev a
Cantor al estudio de los conjuntos infinitos y a una aritmtica de nmeros infinitos. La teora de
Cantor, que fue considerada como demasiado abstracta y criticada como "enfermedad de la
que las matemticas se curarn pronto", forma hoy parte de los fundamentos de las
matemticas y recientemente ha encontrado una nueva aplicacin en el estudio de corrientes
turbulentas en fluidos.
Otro descubrimiento del siglo XIX que se consider abstracto e intil en su tiempo fue la
geometra no eucldea. En esta geometra se pueden trazar al menos dos rectas paralelas a
una recta dada que pasen por un punto que no pertenece a sta.
Aunque descubierta primero por Gauss , ste tuvo miedo de la controversia que su publicacin
pudiera causar. Los mismos resultados fueron descubiertos y publicados por separado por el
matemtico ruso Nikoli Ivnovich Lobachevski y por el hngaro Jnos Bolyai.
Las geometras no eucldeas fueron estudiadas en su forma ms general por Riemann, con su
descubrimiento de las mltiples paralelas. En el siglo XX, a partir de los trabajos de Einstein, se
le han encontrado tambin aplicaciones en fsica.
Gauss es uno de los ms importantes matemticos de la historia. Los diarios de su juventud
muestran que ya en sus primeros aos haba realizado grandes descubrimientos en teora de
nmeros, un rea en la que su libro Disquisitiones arithmeticae (1801) marca el comienzo de la
era moderna. En su tesis doctoral present la primera demostracin apropiada del teorema
fundamental del lgebra.
A menudo combin investigaciones cientficas y matemticas. Por ejemplo, desarroll mtodos
estadsticos al mismo tiempo que investigaba la rbita de un planetoide recin descubierto,
realizaba trabajos en teora de potencias junto a estudios del magnetismo, o estudiaba la
geometra de superficies curvas a la vez que desarrollaba sus investigaciones topogrficas.
De mayor importancia para el lgebra que la demostracin del teorema fundamental
por Gauss fue la transformacin que sta sufri durante el siglo XIX para pasar del mero
estudio de los polinomios al estudio de la estructura de sistemas algebraicos. Un paso
importante en esa direccin fue la invencin del lgebra simblica por el ingls George
Peacock.
Otro avance destacado fue el descubrimiento de sistemas algebraicos que tienen muchas
propiedades de los nmeros reales. Entre estos sistemas se encuentran las cuaternas del
matemtico irlands William Rowan Hamilton, el anlisis vectorial del matemtico y fsico
estadounidense Josiah Willard Gibbs y los espacios ordenados de n dimensiones del
matemtico alemn Hermann Gnther Grassmann.
Otro paso importante fue el desarrollo de la teora de grupos, a partir de los trabajos de
Lagrange. Galois utiliz estos trabajos muy a menudo para generar una teora sobre qu
polinomios pueden ser resueltos con una frmula algebraica.
Del mismo modo que Descartes haba utilizado en su momento el lgebra para estudiar la
geometra, el matemtico alemn Felix Klein y el noruego Marius Sophus Lie lo hicieron con el
lgebra del siglo XIX. Klein la utiliz para clasificar las geometras segn sus grupos de
transformaciones (el llamado Programa Erlanger), y Lie la aplic a una teora geomtrica de
ecuaciones diferenciales mediante grupos continuos de transformaciones conocidas como
grupos de Lie.
En el siglo XX, el lgebra se ha aplicado a una forma general de la geometra conocida como
topologa.
Tambin los fundamentos de las matemticas fueron completamente transformados durante el
siglo XIX, sobre todo por el matemtico ingls George Boole en su libro Investigacin sobre las
leyes del pensamiento (1854) y por Cantor en su teora de conjuntos. Sin embargo, hacia
finales del siglo, se descubrieron una serie de paradojas en la teora de Cantor.
El matemtico ingls Bertrand Russell encontr una de estas paradojas, que afectaba al propio
concepto de conjunto. Los matemticos resolvieron este problema construyendo teoras de
conjuntos lo bastante restrictivas como para eliminar todas las paradojas conocidas, aunque sin
determinar si podran aparecer otras paradojas; es decir, sin demostrar si estas teoras son
consistentes. Hasta nuestros das, slo se han encontrado demostraciones relativas de
consistencia (si la teora B es consistente entonces la teora A tambin lo es).
Especialmente preocupante es la conclusin, demostrada en 1931 por el lgico
estadounidense Kurt Gdel, segn la cual en cualquier sistema de axiomas lo suficientemente
complicado como para ser til a las matemticas es posible encontrar proposiciones cuya
certeza no se puede demostrar dentro del sistema.
Las matemticas actuales
En la Conferencia Internacional de Matemticos que tuvo lugar en Pars en 1900, el
matemtico alemn David Hilbert expuso sus teoras. Hilbert era catedrtico en Gotinga, el
hogar acadmico deGauss y Riemann, y haba contribuido de forma sustancial en casi todas
las ramas de las matemticas, desde su clsico Fundamentos de la geometra (1899) a
su Fundamentos de la matemtica en colaboracin con otros autores.
La conferencia de Hilbert en Pars consisti en un repaso a 23 problemas matemticos que l
crea podran ser las metas de la investigacin matemtica del siglo que empezaba.
Estos problemas, de hecho, han estimulado gran parte de los trabajos matemticos del siglo
XX, y cada vez que aparecen noticias de que otro de los "problemas de Hilbert" ha sido
resuelto, la comunidad matemtica internacional espera los detalles con impaciencia.
A pesar de la importancia que han tenido estos problemas, un hecho que Hilbert no pudo
imaginar fue la invencin del ordenador o computador digital programable, primordial en las
matemticas del futuro.
Aunque los orgenes de las computadoras fueron las calculadoras de relojera de Pascal y
Leibniz en el siglo XVII, fue Charles Babbage quien, en la Inglaterra del siglo XIX, dise una
mquina capaz de realizar operaciones matemticas automticamente siguiendo una lista de
instrucciones (programa) escritas en tarjetas o cintas.
La imaginacin de Babbage sobrepas la tecnologa de su tiempo, y no fue hasta la invencin
del rel, la vlvula de vaco y despus la del transistor cuando la computacin programable a
gran escala se hizo realidad.
Este avance ha dado un gran impulso a ciertas ramas de las matemticas, como el anlisis
numrico y las matemticas finitas, y ha generado nuevas reas de investigacin matemtica
como el estudio de los algoritmos.
Se ha convertido en una poderosa herramienta en campos tan diversos como la teora de
nmeros, las ecuaciones diferenciales y el lgebra abstracta. Adems, el computador u
ordenador ha permitido encontrar la solucin a varios problemas matemticos que no se
haban podido resolver anteriormente, como el problema topolgico de los cuatro colores
propuesto a mediados del siglo XIX.
El teorema dice que cuatro colores son suficientes para dibujar cualquier mapa, con la
condicin de que dos pases limtrofes deben tener distintos colores. Este teorema fue
demostrado en 1976 utilizando una computadora de gran capacidad de clculo en la
Universidad de Illinois (Estados Unidos).
El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca.
Teoras que eran completamente distintas se han reunido para formar teoras ms completas y
abstractas.
Aunque la mayora de los problemas ms importantes han sido resueltos, otros como las
hiptesis de Riemann siguen sin solucin. Al mismo tiempo siguen apareciendo nuevos y
estimulantes problemas. Parece que incluso las matemticas ms abstractas estn
encontrando aplicacin.