Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matemtica en Japn
Sangaku.
La matemtica que se desarrolla en Japn durante el perodo Edo (1603 - 1887), es independiente de
la matemtica occidental; a este perodo pertenece el matemtico Seki Kwa, de gran influencia por
ejemplo, en el desarrollo del wasan (matemtica tradicional japonesa), y cuyos descubrimientos (en
reas como el clculo integral), son casi simultneos a los matemticos contemporneos europeos
como Gottfried Leibniz.
La matemtica japonesa de este perodo se inspira de la matemtica china, est orientada a problemas
esencialmente geomtricos. Sobre tablillas de madera llamadas sangaku, son propuestos y resueltos
enigmas geomtricos; de all proviene, por ejemplo, el teorema del sexteto de Soddy.
Matemtica en Occidente
Ilustracin de los Elementos de Euclides, hacia 1309 - 1316.
Durante la Edad Media las aplicaciones del lgebra al comercio, y el dominio de los nmeros, lleva al
uso corriente de los nmeros irracionales, una costumbre que es luego transmitida a Europa. Tambin
se aceptan las soluciones negativas a ciertos problemas, cantidades imaginarias y ecuaciones de
grado tres.
Matemtica medieval en Europa
El desarrollo de las matemticas durante la edad media es frecuentemente motivada por la creencia
en un orden natural; Boecio las sita dentro del currculo, en el siglo VI, al acuar el
trmino Quadrivium para el estudio metdico de la aritmtica, la geometra, la astronoma y la
msica; en su De institutione arithmetica, una traduccin de Nicmaco, entre otros trabajos que
constituyeron la base de la matemtica hasta que se recuperaron los trabajos matemticos griegos y
rabes.50 51
Durante el siglo XII, particularmente en Italia y en Espaa, se traducen textos rabes y se
redescubren los griegos.52 Toledo se vuelve un centro cultural y de traducciones; los escolares
europeos viajan a Espaa y a Sicilia en busca de literatura cientfica rabe53 incluyendo el Compendio
de clculo por complecin y comparacin de al-Khwrizm, y la versin completa de
los Elementos de Euclides, traducida a varios idiomas por Adelardo de Bath, Herman de Carinthia,
y Gerardo de Cremona.54 55
El crecimiento econmico y comercial que conoce Europa, con la abertura de nuevas rutas hacia el
oriente musulmn, permite tambin a muchos mercaderes familiarizarse con las tcnicas transmitidas
por los rabes. Las nuevas fuentes dan un impulso a las matemticas. Fibonacci escribe su Liber
Abaci en 1202, reeditado en 1254, produce el primer avance significativo en matemtica en Europa
con la introduccin del sistema de numeracin indio: los nmeros arbigos (sistema de notacin
decimal, posicional y con uso comn del cero). En teora enseada en el Quadrivium, pero tambin
destinada a la prctica comercial. Esta enseanza se transmite en las botteghe d'abbaco o escuelas
de bacos, en donde los maestri enseaban la aritmtica, la geometra y los mtodos calculatorios a
los futuros comerciantes, a travs de problemas recreativos, conocidos gracias a tratados de lgebra
que estos maestros han dejado.56 Aunque el lgebra y la contabilidad corren por senderos
separados,57 para clculos complejos que involucran inters compuesto, un buen dominio de la
Aritmtica es altamente valorado.
Renacimiento europeo
Hay un fuerte desarrollo en el rea de las matemticas en el siglo XIV,58 como la dinmica del
movimiento. Thomas Bradwardine propone que la velocidad se incrementa en proporcin aritmtica
como la razn de la fuerza a la resistencia se incrementa en proporcin geomtrica, y muestra sus
resultados con una serie de ejemplos especficos, pues el logaritmo an no haba sido concebido; 59 su
anlisis es un ejemplo de cmo se transfiri la tcnica matemtica utilizada por al-Kindi y Arnau de
Vilanova.60
Los matemticos de esta poca (tales como los calculatores de Merton College, de Oxford), al no
poseer los conceptos del clculo diferencial o de lmite matemtico, desarrollan ideas alternativas
como por ejemplo: medir la velocidad instantnea como la "trayectoria que habra seguido [un
cuerpo] si... hubiese sido movido uniformemente con un mismo grado de velocidad con el que es
movido en ese instante dado";59 o bien: determinar la distancia cubierta por un cuerpo bajo
movimiento uniforme acelerado (hoy en da resuelto con mtodos de integracin). Este grupo,
compuesto por Thomas Bradwardine, William Heytesbury, Richard Swineshead y John Dumbleton,
tiene como principal xito la elaboracin del teorema de la velocidad media que ms tarde, usando un
lenguaje cinemtico y simplificado, compondra la base de la "ley de la cada de los cuerpos", de
Galileo.
Ritratto di Luca Pacioli, 1495, atribuido a Jacopo de'Barbari (Museo di Capodimonte).
Nicols Oresme en la Universidad de Pars y el italiano Giovanni di Casali, proveyeron
-independientemente- una demostracin grfica de esta relacin.59 En un comentario posterior a los
Elementos, Oresme realiza un anlisis ms detallado en el cual prueba que todo cuerpo adquiere, por
cada incremento sucesivo de tiempo, un incremento de una cualidad que crece como los nmeros
impares. Utilizando el resultado de Euclides que la suma de los nmeros impares son los cuadrados,
deduce que la cualidad total adquirida por el cuerpo, se incrementar conforme el cuadrado del
tiempo.61
Luca Pacioli escribe "Summa de Arithmetica, Geometra, Proportioni et Proportionalit" (Venecia,
1494), en donde se incluyen tratados de contabilidad y escritura; si bien estaba dirigido a mercaderes
o aprendices de mercaderes, tambin contena acertijos y rompecabezas matemticos. 62 En Summa
Arithmetica, Pacioli introduce smbolos por primera vez en un libro impreso, lo que luego se
convirti en una notacin convencional. Tambin es el primer libro conocido de lgebra (mucho del
contenido es plagiado de Piero della Francesca).
Durante la primera mitad del siglo XVI, Scipione del Ferro y Niccol Fontana Tartaglia descubren
las soluciones complejasde las ecuaciones cbicas, trabajando en la resolucin de ecuaciones.
Retomado por Tartaglia y publicado por Cardan, encuentran una primera formulacin junto con
Bombelli. Gerolamo Cardano publicar el Ars magna junto con un trabajo de su alumno Ferrari,
quien resuelve las ecuaciones de cuarto grado. En 1572 Rafael Bombelli publica su L'Algebra, en el
que muestra cmo utilizar las cantidades imaginarias que podran aparecer en la frmula de Cardano
para las ecuaciones de grado tres.
Hasta fines del siglo XVI, la resolucin de problemas matemticos contina siendo una cuestin
retrica. El clculo simblico aparecer en 1591, con la publicacin del Isagoge Artem
Analycitem de Franois Vite y la introduccin de notaciones especficas para las constantes y las
variables (trabajo popularizado y mejorado por Harriot, Fermat y Descartes, cambiar por completo
el trabajo algebraico desarrollado en Europa). La principal aportacin del Renacimiento a la
matemtica fue la sustitucin del lgebra tensorial, heredado de la Antigua Grecia, por la ms sencilla
lgebra de los polinomios.63 En este periodo el lgebra, que desde los Elementos de Euclides se haba
estudiado desde un punto de vista geomtrico, se independiza de la geometra y se convierte en una
rama autnoma dentro de la matemtica.
La revolucin cientfica de los siglos XVII y XVIII
Las matemticas se inclinan sobre aspectos fsicos y tcnicos. Isaac Newton y Gottfried
Leibniz crean el clculo infinitesimal, con lo que se inaugura la era del anlisis matemtico, la
derivada, la integracin y las ecuaciones diferenciales. Esto fue posible gracias al concepto de lmite,
considerado la idea ms importante de la matemtica. 64 No obstante, la formulacin precisa del
concepto de lmite no se produjo hasta el siglo XIX con Cauchy.65
El universo matemtico de comienzos del siglo XVIII est dominado por la figura de Leonhard
Euler66 y por sus aportes tanto sobre funciones matemticas como teora de nmeros, mientras
que Joseph-Louis Lagrange alumbra la segunda mitad del siglo.
El siglo precedente haba visto la puesta en escena del clculo infinitesimal, lo que abra la va al
desarrollo de una nueva disciplina matemtica: el anlisis algebraico, en el que, a las operaciones
clsicas del lgebra, se aaden la diferenciacin y la integracin. El clculo infinitesimal se aplica
tanto en la fsica (mecnica, mecnica celeste, ptica, cuerdas vibrantes) como en geometra (estudio
de curvas y superficies). Leonhard Euler, en Calculi diffrentialis (1755) y en Institutiones calculi
integralis (1770), intenta establecer las reglas de utilizacin de los infinitos pequeos y desarrolla
mtodos de integracin y de resolucin de ecuaciones diferenciales. Tambin se destacan los
matemticos Jean le Rond d'Alembert y Joseph-Louis Lagrange. En 1797, Sylvestre Franois
Lacroix publica Trait du calcul diffrentiel et intgral que es una sntesis de los trabajos del Anlisis
del siglo XVIII. La familia Bernoulli contribuye al desarrollo de la resolucin de las ecuaciones
diferenciales.
La funcin matemtica se vuelve un objeto de estudio a parte entera. Matemticos de la talla
de Brook Taylor, James Stirling, Euler, Maclaurin o Lagrange, la utilizan en problemas de
optimizacin; se la desarrolla en series enteras o asintticas pero sin preocuparse de su convergencia.
Leonhard Euler elabora una clasificacin de funciones. Se intenta aplicarla a los reales negativos o
complejos.
En esta poca se produce el fenmeno contrario al observado en el siglo
XVI. lgebra y geometra vuelven a unirse bajo un mismo mtodo, pero ahora es el lenguaje
algebraico el que se aplica al estudio de los problemas geomtricos. 67 El teorema fundamental del
lgebra (existencia de races eventualmente complejas a todo polinomio) que tena forma de
conjetura desde hacia dos siglos, es revalorizado en la utilizacin de la descomposicin en elementos
simples, necesario para el clculo integral. Sucesivamente, Euler (1749) y Lagrange (1771), intentan
demostraciones algebraicas pero se enfrentan a la parte trascendente del problema (todo polinomio de
grado impar sobre R posee una raz real), que necesitar de la utilizacin de un teorema de valores
intermedios.68
La demostracin de D'Alembert publicada en 1746 en los anales de la academia de Berln, es la ms
completa pero contiene an algunas lagunas y pasajes obscuros. Gauss, en 1799, que critica a
D'Alembert sobre estos puntos, no est exento de los mismos reproches. Hay que hacer intervenir en
un momento un resultado fuerte del Anlisis que el siglo an no conoce. Adems, este obstculo se
sita en la cuestin de los puntos de bifurcacin: es una cuestin ya debatida en la polmica sobre los
logaritmos y los nmeros negativos a la que pondr fin Euler. La segunda y tercera demostracin de
Gauss no adolecen de estas carencias, pero ya no se inscriben dentro del mismo siglo.
En aritmtica, Euler demuestra el pequeo teorema de Fermat y da una versin extendida a los
nmeros compuestos (1736-1760).
Matemtica moderna
Siglo XIX
La historia matemtica del siglo XIX es inmensamente rica y fecunda. Numerosas teoras nuevas
aparecen y se completan trabajos comenzados anteriormente. Domina la cuestin del rigor, como se
manifiesta en el anlisis matemtico con los trabajos de Cauchy y la suma de series (la cual
reaparece a propsito de la geometra), teora de funciones y particularmente sobre las bases del
clculo diferencial e integral al punto de desplazar las nociones de infinitamente pequeo que haban
tenido notable xito el siglo pasado. Ms an, el siglo marca el fin del amateurismo matemtico: las
matemticas eran consideradas hasta entonces como obra de algunos particulares, en este siglo, se
convierten en profesiones de vanguardia. El nmero de profesionales no deja de crecer y las
matemticas adquieren una importancia nunca antes vista. Las aplicaciones se desarrollan
rpidamente en amplios dominios, haciendo creer que la ciencia todo lo puede; algunos sucesos as
parecen atestiguarlo, como el descubrimiento de un nuevo planeta nicamente por el clculo, o la
explicacin de la creacin del sistema solar. El dominio de la fsica, ciencia experimental por
excelencia, se ve completamente invadido por las matemticas: el calor, la electricidad, el
magnetismo, la mecnica de fluidos, la resistencia de materiales y la elasticidad, la cintica qumica,
son todas matematizadas.
Gottlob Frege
Durante el siglo XIX las matemticas se vuelven ms abstractas. El trabajo revolucionario de Carl
Friedrich Gauss (17771855) en matemtica pura, incluye la primera prueba satisfactoria del
teorema fundamental de la aritmtica y de la ley de reciprocidad cuadrtica, adems de
numerosas contribuciones en funcin matemtica, variable compleja, geometra, convergencia de
series,...
En este siglo se desarrollan dos formas de geometra no euclidiana, en las que el postulado de las
paralelas de la geometra eucldea ya no es vlido. El matemtico ruso Nikolai Ivanovich
Lobachevsky y su rival, el matemtico hngaro Jnos Bolyai, independientemente definen y estudian
la geometra hiperblica. La geometra elptica fue desarrollada ms tarde por el matemtico
alemn Bernhard Riemann, quien tambin introduce el concepto de variedad (matemtica) (y la hoy
llamada Geometra de Riemann).
En lgebra abstracta, Hermann Grassmann da una primera versin de espacio vectorial. George
Boole divisa un lgebra que utiliza nicamente los nmeros 0 y 1, la hoy conocida como lgebra de
Boole, que es el punto de partida de la lgica matemtica y que tiene importantes aplicaciones
en ciencias de la computacin.
Augustin Louis Cauchy, Bernhard Riemann y Karl Weierstrass reformularon el clculo de manera
ms rigurosa.
El rpido crecimiento de la matemtica provoca una crisis derivada de la necesidad de revisar todos
sus fundamentos para obtenerlos de forma rigurosa a partir de estructuras algebraicas y
topolgicas.69 A finales del siglo XIX nace la matemtica actual con las obras
de Dedekind y Kronecker.
Siglo XX
Teorema de los cuatro colores.
El siglo XX ve a las matemticas convertirse en una profesin mayor. Cada ao, se gradan miles de
doctores, y las salidas laborales se encuentran tanto en la enseanza como en la industria. Los tres
grandes teoremas dominantes son: los Teoremas de incompletitud de Gdel; la demostracin de
la conjetura de Taniyama-Shimura, que implica la demostracin del ltimo teorema de Fermat; la
demostracin de las conjeturas de Weil por Pierre Deligne. Muchas de las nuevas disciplinas que se
desarrollan o nacen son una continuacin de los trabajos de Poincar, las probabilidades, la topologa,
la geometra diferencial, la lgica, la geometra algebraica, los trabajos de Grothendieck, entre otras.
En un discurso en 1900 frente al Congreso Internacional de Matemticos, David Hilbert propuso una
lista de 23 problemas matemticos. Esta lista, que toca varias reas de las matemticas, fue un foco
central para muchos matemticos del siglo XX. A la fecha (2011), 10 han sido resueltos, 7
parcialmente resueltos y 2 siguen abiertos; los 4 restantes estn formulados de manera muy vaga para
decidir si han sido resueltos o no.
Muchas conjeturas notables fueron finalmente probadas. En 1976, Wolfgang Hakeny Kenneth
Appel usaron una computadora para demostrar el teorema de los cuatro colores. Andrew Wiles,
basado en trabajos previos de otros matemticos, prob el ltimo teorema de Fermat en 1995. Paul
Cohen y Kurt Gdel probaron que la hiptesis del continuo es lgicamente independiente de (no
puede ser probada o negada de) los axiomas de la teora de conjuntos. En 1998 Thomas Callister
Hales prob la conjetura de Kepler.
Colaboraciones matemticas de tamao y dimensiones imprecedentes toman lugar. Un ejemplo es
la clasificacin de grupos finitos simples (tambin llamada el "teorema enorme"), para cuya
demostracin, entre 1955 y 1983, se requirieron 500 artculos de alrededor de 100 autores, llenando
miles de pginas. Un grupo de matemticos franceses, incluyendo Jean Dieudonn y Andr Weil,
publican bajo el pseudnimo Nicols Bourbaki, con intencin de exponer la totalidad del
conocimiento matemtico como un todo riguroso coherente. El resultado de varias docenas de
volmenes, reunidos en Elementos de matemtica, ha tenido una influencia controversial en la
educacin matemtica.71
La geometra diferencial se convirti en objeto de estudio como tal cuando Einstein la utiliza en
la relatividad general. reas enteramente nuevas de la matemtica como la lgica matemtica,
la topologa y la teora de juegos de John von Neumann, cambian el tipo de preguntas a las cuales se
poda dar respuesta con mtodos matemticos. Todo tipo de estructura fue reducido a un grupo de
axiomas abstracto, y se les dio nombres como espacio mtrico, espacio topolgico, etc. Estos
conceptos, a su vez fueron abstrados hacia una teora de categoras, como se suele ser el caso en
matemticas. Grothendieck y Serre relanzan la geometra algebraica utilizando teora de haces.
Grandes avances fueron hechos en el estudio cualitativo de la teora de sistemas
dinmicos que Poincar haba comenzado en los 1890's. La teora de la medida fue desarrollada en
los tardos 1900s y comienzos del siglo XX. Las aplicaciones de la medida incluyen la integral de
Lebesgue, la axiomatizacin de Kolmogorov de la teora de la probabilidad, y la teora ergdica.
La teora de nudos tambin se ampli. La mecnica cuntica llev al desarrollo del anlisis funcional.
Otras nuevas reas incluyen la teora de distribuciones de Laurent Schwartz, los teoremas de punto
fijo, la teora de la singularidad y la teora de las catstrofes de Ren Thom, la teora de modelos y
los fractales de Mandelbrot. La teora de Lie, constituida por los grupos de Lie y las lgebras de
Lie se volvieron reas de gran inters.
La invencin y el continuo progreso de las computadoras, al comienzo mquinas mecnicas
analgicas y despus mquinas electrnicas, permitieron trabajar con cantidades cada vez ms
grandes de datos, y surgieron reas como por ejemplo la teora de la computabilidad de Alan Turing;
la teora de la complejidad computacional; la teora de la informacinde Claude Shannon;
el procesamiento de seales; el anlisis de datos; la optimizacin y otras reas de investigacin de
operaciones. En los siglos precedentes, muchos de los focos matemticos estaban puestos en el
clculo y las funciones continuas, pero el surgimiento de la computacin y la tecnologa de las
comunicaciones llevan a una importancia creciente los conceptos de las matemticas discretas y la
expansin de la combinatoria, incluyendo la teora de grafos. La velocidad y procesamiento de datos
de las computadoras tambin les permitieron encargarse de problemas matemticos que consumiran
demasiado tiempo con clculos hechos con papel y lpiz, llevando a reas como el anlisis
numrico y el clculo formal. Algunos de los mtodos y algoritmos ms importantes del siglo XX
han sido: el algoritmo smplex, la transformada rpida de Fourier, la correccin de errores hacia
adelante, el Filtro de Kalman de la teora de control y el algoritmo RSA de la criptografa asimtrica.
Siglo XXI
En el ao 2000, el Clay Mathematics Institute anunci los siete problemas del milenio, y en 2003 la
demostracin de la conjetura de Poincar fue resuelta por Grigori Perelmn (que razon ticamente el
no aceptar el premio).
La mayora de las revistas de matemtica tienen versin on line as como impresas, tambin salen
muchas publicaciones digitales. Hay un gran crecimiento hacia el acceso online, popularizada por
el ArXiv.