Matemticas

(Redirigido desde Matemtica)

El teorema de Pitgoras es uno de los resultados ms conocidos de las matemticas.
Las matemticas o la matemtica
1
(del lat. mathematca, y este del gr. ,
derivado de , conocimiento) es una ciencia formal que, partiendo de axiomas y
siguiendo el razonamiento lgico, estudia las propiedades y relaciones entre entidades
abstractas con nmeros, figuras geomtricas o smbolos, pese a que tambin es discutido su
carcter cientfico. Las matemticas se emplean para estudiar relaciones cuantitativas,
estructuras, relaciones geomtricas y las magnitudes variables. Los matemticos buscan
patrones,
2

3
formulan nuevas conjeturas e intentan alcanzar la verdad matemtica mediante
rigurosas deducciones. stas les permiten establecer los axiomas y las definiciones
apropiados para dicho fin.
4
Algunas definiciones clsicas restringen las matemticas al
razonamiento sobre cantidades,
1
aunque solo una parte de las matemticas actuales usan
nmeros, predominando el anlisis lgico de construcciones abstractas no cuantitativas.
Existe cierta discusin acerca de si los objetos matemticos, como los nmeros y puntos,
realmente existen o simplemente provienen de la imaginacin humana. El matemtico
Benjamin Peirce defini las matemticas como "la ciencia que seala las conclusiones
necesarias".
5
Por otro lado, Albert Einstein declar que:" cuando las leyes de la matemtica
se refieren a la realidad, no son exactas; cuando son exactas, no se refieren a la realidad".
6

Para explicar el mundo natural se usan las matemticas, tal como lo expres Eugene
Wigner (premio Nobel en 1963):
7

La enorme utilidad de las matemticas en las ciencias naturales es algo que roza lo
misterioso, y no hay explicacin para ello. No es en absoluto natural que existan leyes de
la naturaleza, y mucho menos que el hombre sea capaz de descubrirlas. El milagro de lo
apropiado que resulta el lenguaje de las matemticas para la formulacin de las leyes de la
fsica es un regalo maravilloso que no comprendemos ni nos merecemos.
Mediante la abstraccin y el uso de la lgica en el razonamiento, las matemticas han
evolucionado basndose en las cuentas, el clculo y las mediciones, junto con el estudio
sistemtico de la forma y el movimiento de los objetos fsicos. Las matemticas, desde sus
comienzos, han tenido un fin prctico.
Las explicaciones que se apoyaban en la lgica aparecieron por primera vez con la
matemtica helnica, especialmente con los Elementos de Euclides. Las matemticas
siguieron desarrollndose, con continuas interrupciones, hasta que en el Renacimiento las
innovaciones matemticas interactuaron con los nuevos descubrimientos cientficos. Como
consecuencia, hubo una aceleracin en la investigacin que contina hasta la actualidad.
Hoy en da, las matemticas se usan en todo el mundo como una herramienta esencial en
muchos campos, entre los que se encuentran las ciencias naturales, la ingeniera, la
medicina y las ciencias sociales, e incluso disciplinas que, aparentemente, no estn
vinculadas con ella, como la msica (por ejemplo, en cuestiones de resonancia armnica).
Las matemticas aplicadas, rama de las matemticas destinada a la aplicacin de los
conocimientos matemticos a otros mbitos, inspiran y hacen uso de los nuevos
descubrimientos matemticos y, en ocasiones, conducen al desarrollo de nuevas disciplinas.
Los matemticos tambin participan en las matemticas puras, sin tener en cuenta la
aplicacin de esta ciencia, aunque las aplicaciones prcticas de las matemticas puras
suelen ser descubiertas con el paso del tiempo.
Lgica
La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia
vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn,
intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra,
pensamiento, idea, argumento, razn o principio.
As como el objeto de estudio tradicional de la qumica es la materia, y el de la biologa la
vida, el de la lgica es la inferencia. La inferencia es el proceso por el cual se derivan
conclusiones a partir de premisas.
1
La lgica investiga los principios por los cuales algunas
inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su
estructura lgica, y no por el contenido especfico del argumento o el lenguaje utilizado.
Por esta razn la lgica se considera una ciencia formal, como la matemtica, en vez de una
ciencia emprica.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del
siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con las
matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha pasado a ser
principalmente la lgica simblica, un clculo definido por smbolos y reglas de inferencia,
lo que ha permitido su aplicacin a la informtica. Hasta el siglo XIX, la lgica aristotlica
y estoica mantuvieron siempre una relacin con los argumentos formulados en lenguaje
natural. Por eso aunque eran formales, no eran formalistas.
2
Hoy esa relacin se trata bajo
un punto de vista completamente diferente. La formalizacin estricta ha mostrado las
limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como una parte
pequea de la lgica de clases.