Notacin, lenguaje y rigor[editar]

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.18 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 infinitoen 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 evitarteoremas errneos, basados en intuiciones falibles, que
se han dado varias veces en la historia de esta ciencia. 19 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.20
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]

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. 21 Tanto en
el latn original Scientirum Regna, as como en alemn Knigin der Wissenschaften, la
palabra ciencia debe ser interpretada como (campo de) conocimiento. Si se considera que
laciencia 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 deKarl Popper.22 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 ybiologa, 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.23 Otros pensadores, en particular Imre
Lakatos, han solicitado una versin de Falsacionismopara 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.24 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 Wolframsostiene, 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
perfilesttico, 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
lafilosofa 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,2526 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 los logros 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 ambas listas.

Ramas de estudio de las matemticas[editar]

Artculo principal: reas de las matemticas

La Sociedad Estadounidense de Matemtica distingue unas 5000 ramas distintas de

matemticas.27 En una subdivisin amplia de las matemticas se distinguen cuatro objetos
de estudio bsicos: la cantidad, la estructura, el espacio y el cambio[cita requerida] que se
corresponden a la aritmtica, lgebra, geometra y clculo.[cita requerida] Adems, hay ramas de
las matemticas conectadas a otros campos como la lgica y teora de conjuntos, y
las matemticas aplicadas[cita requerida].
Vase tambin: Categora:reas de las matemticas

Matemticas puras[editar]