La inspiracin, las matemticas puras y aplicadas y la esttica[editar editar cdigo]

Sir Isaac Newton (1643-1727), comparte con Leibniz la autora del desarrollo del clculo integral y diferencial. Es muy posible que el arte del clculo haya sido desarrollado antes incluso que la escritura,11 relacionado fundamentalmente con la contabilidad y la administracin de bienes, el comercio, en la agrimensura y, posteriormente, en la astronoma. Actualmente, todas las ciencias aportan problemas que son estudiados por matemticos, al mismo tiempo que aparecen nuevos problemas dentro de las propias matemticas. Por ejemplo, el fsico Richard Feynman propuso la integral de caminos como fundamento de la mecnica cuntica, combinando el razonamiento matemtico y el enfoque de la fsica, pero todava no se ha logrado una definicin plenamente satisfactoria en trminos matemticos. Similarmente, la teora de cuerdas, una teora cientfica en desarrollo que trata de unificar las cuatro fuerzas fundamentales de la fsica, sigue inspirando a las ms modernas matemticas.12 Algunas matemticas solo son relevantes en el rea en la que estaban inspiradas y son aplicadas para otros problemas en ese campo. Sin embargo, a menudo las matemticas inspiradas en un rea concreta resultan tiles en muchos mbitos, y se incluyen dentro de los conceptos matemticos generales aceptados. El notable hecho de que incluso la matemtica ms pura habitualmente tiene aplicaciones prcticas es lo que Eugene Wigner ha definido como la irrazonable eficacia de las matemticas en las Ciencias Naturales.13 Como en la mayora de las reas de estudio, la explosin de los conocimientos en la era cientfica ha llevado a la especializacin de las matemticas. Hay una importante distincin

entre las matemticas puras y las matemticas aplicadas. La mayora de los matemticos que se dedican a la investigacin se centran nicamente en una de estas reas y, a veces, la eleccin se realiza cuando comienzan su licenciatura. Varias reas de las matemticas aplicadas se han fusionado con otras reas tradicionalmente fuera de las matemticas y se han convertido en disciplinas independientes, como pueden ser la estadstica, la investigacin de operaciones o la informtica. Aquellos que sienten predileccin por las matemticas, consideran que prevalece un aspecto esttico que define a la mayora de las matemticas. Muchos matemticos hablan de la elegancia de la matemtica, su intrnseca esttica y su belleza interna. En general, uno de sus aspectos ms valorados es la simplicidad. Hay belleza en una simple y contundente demostracin, como la demostracin de Euclides de la existencia de infinitos nmeros primos, y en un elegante anlisis numrico que acelera el clculo, as como en la transformada rpida de Fourier. G. H. Hardy en A Mathematician's Apology (Apologa de un matemtico) expres la conviccin de que estas consideraciones estticas son, en s mismas, suficientes para justificar el estudio de las matemticas puras.14 Los matemticos con frecuencia se esfuerzan por encontrar demostraciones de los teoremas que son especialmente elegantes, el excntrico matemtico Paul Erds se refiere a este hecho como la bsqueda de pruebas de "El Libro" en el que Dios ha escrito sus demostraciones favoritas.15 16 La popularidad de la matemtica recreativa es otra seal que nos indica el placer que produce resolver las preguntas matemticas.
Vase tambin: Belleza matemtica

Notacin, lenguaje y rigor[editar editar cdigo]

Artculo principal: Notacin matemtica

Leonhard Euler. Probablemente el ms prolfico matemtico de todos los tiempos.

La mayor parte de la notacin matemtica que se utiliza hoy en da no se invent hasta el siglo XVIII.17 Antes de eso, las matemticas eran escritas con palabras, un minucioso proceso que limitaba el avance matemtico. En el siglo XVIII, Euler, fue responsable de muchas de las notaciones empleadas en la actualidad. La notacin moderna hace que las matemticas sean mucho ms fcil para los profesionales, pero para los principiantes resulta complicada. La notacin reduce las matemticas al mximo, hace que algunos smbolos contengan una gran cantidad de informacin. Al igual que la notacin musical, la notacin matemtica moderna tiene una sintaxis estricta y codifica la informacin que sera difcil de escribir de otra manera.

El smbolo de infinito en diferentes tipografas. El lenguaje matemtico tambin puede ser difcil para los principiantes. Palabras tales como o y slo tiene significados ms precisos que en lenguaje cotidiano. Adems, palabras como abierto y cuerpo tienen significados matemticos muy concretos. La jerga matemtica, o lenguaje matemtico, incluye trminos tcnicos como homeomorfismo o integrabilidad. La razn que explica la necesidad de utilizar la notacin y la jerga es que el lenguaje matemtico requiere ms precisin que el lenguaje cotidiano. Los matemticos se refieren a esta precisin en el lenguaje y en la lgica como el rigor. El rigor es una condicin indispensable que debe tener una demostracin matemtica. Los matemticos quieren que sus teoremas a partir de los axiomas sigan un razonamiento sistemtico. Esto sirve para evitar teoremas errneos, basados en intuiciones falibles, que se han dado varias veces en la historia de esta ciencia.18 El nivel de rigor previsto en las matemticas ha variado con el tiempo: los griegos buscaban argumentos detallados, pero en tiempos de Isaac Newton los mtodos empleados eran menos rigurosos. Los problemas inherentes de las definiciones que Newton utilizaba dieron lugar a un resurgimiento de un anlisis cuidadoso y a las demostraciones oficiales del siglo XIX. Ahora, los matemticos continan apoyndose entre ellos mediante demostraciones asistidas por ordenador.19 Un axioma se interpreta tradicionalmente como una verdad evidente, pero esta concepcin es problemtica. En el mbito formal, un axioma no es ms que una cadena de smbolos, que tiene un significado intrnseco slo en el contexto de todas las frmulas derivadas de un sistema axiomtico.

La matemtica como ciencia[editar editar cdigo]

Carl Friedrich Gauss, apodado el "prncipe de los matemticos", se refera a la matemtica como "la reina de las ciencias". Carl Friedrich Gauss se refera a la matemtica como la reina de las ciencias.20 Tanto en el latn original Scientiarum Regina, as como en alemn Knigin der Wissenschaften, la palabra ciencia debe ser interpretada como (campo de) conocimiento. Si se considera que la ciencia es el estudio del mundo fsico, entonces las matemticas, o por lo menos las matemticas puras, no son una ciencia. Muchos filsofos creen que las matemticas no son experimentalmente falseables, y, por tanto, no es una ciencia segn la definicin de Karl Popper.21 No obstante, en la dcada de 1930 una importante labor en la lgica matemtica demuestra que las matemticas no puede reducirse a la lgica, y Karl Popper lleg a la conclusin de que la mayora de las teoras matemticas son, como las de fsica y biologa, hipottico-deductivas. Por lo tanto, las matemticas puras se han vuelto ms cercanas a las ciencias naturales cuyas hiptesis son conjeturas, as ha sido hasta ahora.22 Otros pensadores, en particular Imre Lakatos, han solicitado una versin de Falsacionismo para las propias matemticas. Una visin alternativa es que determinados campos cientficos (como la fsica terica) son matemticas con axiomas que pretenden corresponder a la realidad. De hecho, el fsico terico, J. M. Ziman, propone que la ciencia es conocimiento pblico y, por tanto, incluye a las matemticas.23 En cualquier caso, las matemticas tienen mucho en comn con muchos campos de las ciencias fsicas, especialmente la exploracin de las consecuencias lgicas de las hiptesis. La intuicin y la experimentacin tambin desempean un papel importante en la formulacin de conjeturas en las matemticas y las otras ciencias. Las matemticas experimentales siguen ganando representacin dentro de las matemticas. El clculo y simulacin estn jugando un papel cada vez mayor tanto en las ciencias como en las matemticas, atenuando la objecin de que las matemticas no se sirven del mtodo cientfico. En 2002 Stephen Wolfram sostiene, en su libro Un nuevo tipo

de ciencia, que la matemtica computacional merece ser explorada empricamente como un campo cientfico. Las opiniones de los matemticos sobre este asunto son muy variadas. Muchos matemticos consideran que llamar a su campo ciencia es minimizar la importancia de su perfil esttico, adems supone negar su historia dentro de las siete artes liberales. Otros consideran que hacer caso omiso de su conexin con las ciencias supone ignorar la evidente conexin entre las matemticas y sus aplicaciones en la ciencia y la ingeniera, que ha impulsado considerablemente el desarrollo de las matemticas. Otro asunto de debate, que guarda cierta relacin con el anterior, es si la matemtica fue creada (como el arte) o descubierta (como la ciencia). Este es uno de los muchos temas de incumbencia de la filosofa de las matemticas. Los premios matemticos se mantienen generalmente separados de sus equivalentes en la ciencia. El ms prestigioso premio dentro de las matemticas es la Medalla Fields,24 25 fue instaurado en 1936 y se concede cada cuatro aos. A menudo se le considera el equivalente del Premio Nobel para la ciencia. Otros premios son el Premio Wolf en matemtica, creado en 1978, que reconoce el logro en vida de los matemticos, y el Premio Abel, otro gran premio internacional, que se introdujo en 2003. Estos dos ltimos se conceden por un excelente trabajo, que puede ser una investigacin innovadora o la solucin de un problema pendiente en un campo determinado. Una famosa lista de esos 23 problemas sin resolver, denominada los Problemas de Hilbert, fue recopilada en 1900 por el matemtico alemn David Hilbert. Esta lista ha alcanzado gran popularidad entre los matemticos y, al menos, nueve de los problemas ya han sido resueltos. Una nueva lista de siete problemas fundamentales, titulada Problemas del milenio, se public en 2000. La solucin de cada uno de los problemas ser recompensada con 1 milln de dlares. Curiosamente, tan solo uno (la hiptesis de Riemann) aparece en