La historia de las matemticas es el rea de estudio que abarca las investigaciones
sobre los orgenes de los descubrimientos en matemticas, de los mtodos matemticos, de la evolucin de sus conceptos y tambin en cierto grado, de los matemticos involucrados. Antes de la edad moderna y la difusin del conocimiento a lo largo del mundo, los ejemplos escritos de nuevos desarrollos matemticos salan a la luz solo en unos pocos escenarios. Los textos matemticos ms antiguos disponibles son la tablilla de barro Plimpton 322 (c. 1900 a. C.), el papiro de Mosc (c. 1850 a. C.), el papiro de Rhind (c. 1650 a. C.) y los textos vdicos Shulba Sutras (c. 800 a. C.). En todos estos textos se menciona elteorema de Pitgoras, que parece ser el ms antiguo y extendido desarrollo matemtico despus de la aritmtica bsica y la geometra. Tradicionalmente se ha considerado que la matemtica, como ciencia, surgi con el fin de hacer los clculos en el comercio, para medir la Tierra y para predecir los acontecimientos astronmicos. Estas tres necesidades pueden ser relacionadas en cierta forma a la subdivisin amplia de la matemtica en el estudio de la estructura, el espacio y el cambio. Las matemticas egipcias y babilnicas fueron ampliamente desarrolladas por la matemtica helnica, donde se refinaron los mtodos (especialmente la introduccin del rigor matemtico en las demostraciones) y se ampliaron los asuntos propios de esta ciencia. 1 La matemtica en el islam medieval, a su vez, desarroll y extendi las matemticas conocidas por estas civilizaciones ancestrales. Muchos textos griegos y rabes de matemticas fueron traducidos al latn, lo que llev a un posterior desarrollo de las matemticas en la Edad Media. Desde el renacimiento italiano, en el siglo XVI, los nuevos desarrollos matemticos, interactuando con descubrimientos cientficos contemporneos, han ido creciendo exponencialmente hasta el da de hoy.
Prehistoria Mucho antes de los primeros registros editados, hay graficos que indican algn conocimiento de matemticas elementales y de la medida del tiempo basada en las estrellas. Por ejemplo, los paleontlogos han descubierto rocas de ocre en una caverna de Sudfrica de aproximadamente 70.000 aos de antigedad, que estn adornados con hendiduras en forma de patrones geomtricos. 2 Tambin se descubrieron artefactos prehistricos en frica y Francia, datados entre el 35.000 y el 20.000 a. C., 3 que sugieren intentos iniciales de cuantificar el tiempo. 4
Hay evidencias de que las mujeres inventaron una forma de llevar la cuenta de su ciclo menstrual: de 28 a 30 marcas en un hueso o piedra, seguidas de una marca distintiva. Ms an, los cazadores y pastores empleaban los conceptos de uno, dos y muchos, as como la idea de ninguno o cero, cuando hablaban de manadas de perros. 5
6 El hueso de Ishango, encontrado en las inmediaciones del ro Nilo, al noreste del Congo, puede datar de antes del 20.000 a. C. Una interpretacin comn es que el hueso supone la demostracin ms antigua conocida 3 de una secuencia de primos de la multiplicacin por divisin. Primeras civilizaciones En el periodo predinstico de Egipto del V milenio a. C. se representaban pictricamente diseos espaciales geomtricos. Se ha afirmado que los monumentos megalticos en Inglaterra y Escocia, del III milenio a. C., incorporan ideas geomtricas tales como crculos, elipses y pitagricas en su diseo. 7
Las primeras matemticas conocidas en la historia de la India datan del 3000 - 2600 a. C., en la Cultura del Valle del Indo (civilizacin Harappa) del norte de la India y Pakistn. Esta civilizacin desarroll un sistema de medidas y pesas uniforme que usaba el sistema decimal, una sorprendentemente avanzada tecnologa con ladrillos para representar razones, calles dispuestas en perfectos ngulos rectos y una serie de formas geomtricas y diseos, incluyendo cuboides, barriles, conos, cilindros y diseos de crculos y tringulos concntricos y secantes. Los instrumentos cientficos empleados incluan una exacta regla decimal con subdivisiones pequeas y precisas, unas estructuras para medir de 8 a 12 canciones completas del horizonte y el cielo y una flauta para la medida de las posiciones de las estrellas para la navegacin. La escritura hind no ha sido descifrada todava, de ah que se sepa muy poco sobre las formas escritas de las matemticas en Harappa. Hay evidencias frustrantes que han llevado a algunos a sospechar que esta civilizacin usaba un sistema de numeracin de base octal y tenan un valor para , la razn entre la longitud de la circunferencia y su dimetro. 8
9
Por su parte, las primeras matemticas en China datan de la Dinasta Shang (1600 2703 a. C.) y consisten en nmeros marcados en un caparazn de tortuga. 10 Estos nmeros fueron representados mediante una notacin decimal. Por ejemplo, el nmero 123 se escriba, de arriba a abajo, como el smbolo para el 1 seguido del smbolo para 100, luego el smbolo para el 2 seguido del signo para 12 y, por ltimo, el smbolo para el 9. Este era el sistema de numeracin ms avanzado en su tiempo y permita hacer clculos para usarlos con el suanpan o el baco chino. La fecha de invencin del suanpan no se conoce con certeza, pero la mencin escrita ms antigua data del 140 d. C., en Notas suplementarias sobre el Arte de las Cifras, de Xu Yue's. Mesopotamia Las matemticas babilnicas hacen referencia a las matemticas desarrolladas por la gente de Mesopotamia, el actual Irak, desde los das de los primeros sumerios, hasta el inicio del periodo helenstico. Se llaman matemticas babilnicas debido al papel central de Babilonia como lugar de estudio, que dej de existir durante el periodo helenstico. Desde este punto, las matemticas babilnicas se fundieron con las matemticas griegas y egipcias para dar lugar a las matemticas helensticas. Ms tarde, bajo el Imperio rabe, Mesopotamia, especialmente Bagdad, volvi a ser un importante centro de estudio para las matemticas islmicas. En contraste con la escasez de fuentes en las matemticas egipcias, el conocimiento sobre las matemticas en Babilonia se deriva de ms de 400tablillas de arcilla desveladas desde 1850. Labradas en escritura cuneiforme, fueron grabadas mientras la arcilla estaba hmeda y cocidas posteriormente en un horno o secadas al sol. Algunas de ellas parecen ser tareas graduadas. Las evidencias ms tempranas de matemticas escritas datan de los antiguos sumerios, que constituyeron la civilizacin primigenia en Mesopotamia. Los sumerios desarrollaron un sistema complejo de metrologa desde el 3000 a. C. Desde alrededor del 2500 a. C. en adelante, los sumerios escribieron tablas de multiplicar en tablillas de arcilla y trataron ejercicios geomtricos y problemas de divisin. Las seales ms tempranas de los numerales babilnicos tambin datan de ese periodo. 11
La mayora de las tabletas de arcilla recuperadas datan del 1800 al 1600 a. C. y abarcan tpicos que incluyen fracciones, lgebra, ecuaciones cuadrticas y cbicas y el clculo de primos gemelos regulares recprocos (vase Plimpton 322). 12 Las tablillas tambin incluyen tablas de multiplicar y mtodos para resolver ecuaciones lineales y ecuaciones cuadrticas. La tablilla babilnica YBC 7289 da una aproximacin de 2 con una exactitud de cinco posiciones decimales. Las matemticas babilnicas fueron escritas usando un sistema de numeracin sexagesimal (base 60). De ah se deriva la divisin de un minuto en 60 segundos y de una hora en 60 minutos, as como la de un crculo en 360 (60 6) grados y las subdivisiones sexagesimales de esta unidad de medida de ngulos en minutos y segundos. Los avances babilnicos en matemticas fueron facilitados por el hecho de que el nmero 60 tiene muchos divisores. Tambin, a diferencia de los egipcios, griegos y romanos, los babilonios tenan un verdadero sistema de numeracin posicional, donde los dgitos escritos a la izquierda representaban valores de orden superior, como en nuestro actual sistema decimal de numeracin. Carecan, sin embargo, de un equivalente a la coma decimal y as, el verdadero valor de un smbolo deba deducirse del contexto. Las matemticas en el Antiguo Egipto se refieren a las matemticas escritas en las lenguas egipcias. Desde el periodo helenstico, elgriego sustituy al egipcio como el lenguaje escrito de los escolares egipcios y desde ese momento las matemticas egipcias se fundieron con las griegas y babilnicas para dar lugar a la matemtica helnica. El estudio de las matemticas en Egipto continu ms tarde bajo el influjo rabe como parte de las matemticas islmicas, cuando el rabe se convirti en el lenguaje escrito de los escolares egipcios. El texto matemtico ms antiguo descubierto es el papiro de Mosc, que data del Imperio Medio de Egipto, hacia el 2000-1800 a. C. Como muchos textos antiguos, consiste en lo que hoy se llaman problemas con palabras o problemas con historia, que tienen la intencin aparente de entretener. Se considera que uno de los problemas es de particular importancia porque ofrece un mtodo para encontrar el volumen de un tronco: "Si te dicen: Una pirmide truncada [de base cuadrada] de 6 de altura vertical, por 4 en la base [base inferior] y 2 en lo alto [base superior]. Haces el cuadrado de 4 y resulta 16. Doblas 4 y resulta 8. Haces el cuadrado de 2 y resulta 4. Sumas el 16, el 8 y el 4 y resulta 28. Tomas un tercio de 6 y resulta 2. Tomas 28 dos veces y resulta 56. Mira, es 56. Encontrars lo correcto." El papiro de Rhind 13 (hacia 1650 a. C.) es otro texto matemtico egipcio fundamental, un manual de instrucciones en aritmtica y geometra. En resumen, proporciona frmulas para calcular reas y mtodos para la multiplicacin, divisin y trabajo con fracciones unitarias. Tambin contiene pruebas de otros conocimientos matemticos, 14 incluyendo nmeros compuestos y primos,media aritmtica, geomtrica y armnica, y una comprensin simple de la criba de Eratstenes y la teora de nmeros perfectos (a saber, del nmero 6). El papiro tambin muestra cmo resolverecuaciones lineales de primer orden 15 , as como series aritmticas y series geomtricas. 16
Adems, tres elementos geomtricos del papiro de Rhind sugieren los rudimentos de la geometra analtica: cmo obtener una aproximacin de con un error menor del 1% [cita requerida] ; un antiguo intento de cuadrar el crculo; y el uso ms antiguo conocido de un tipo de cotangente. Finalmente, el papiro de Berln (hacia 1300 a. C.) 17 muestra que los antiguos egipcios podan resolver una ecuacin cuadrtica. 18
Matemtica moderna Siglo XIX La historia matemtica del siglo XIX es inmensamente rica y fecunda. Demasiado como para ser abarcada en su totalidad dentro de la talla razonable de este artculo; aqu se presentan los puntos sobresalientes de los trabajos llevados a cabo durante este perodo. 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.
Siglo XX 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, latopologa, 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 Haken y Kenneth Appel usaron una computadora para demostrar elteorema 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 improcedentes 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. 64
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, latopologa 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 informacin de Claude Shannon; el procesamiento; 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 discretasy 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 declin 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 libre, popularizada por el ArXiv.