home

Se llama **matemáticas** o **matemática** al estudio de las propiedades y las relaciones de entes abstractos (números, figuras geométricas) a partir de notaciones básicas exactas y a través del razonamiento lógico.

Mucha gente piensa en las matemáticas en términos de reglas que deben ser aprendidas para poder manipular símbolos o estudiar números o formas en abstracto por el mero hecho de aprenderlas.


 * La teoría matemática sí se desarrolla en abstracto**: no depende de otra cosa fuera de sí misma. La verdad de la teoría se mide por la lógica y no por el experimento. Sin embargo, una de sus utilizaciones más valiosas es el describir o modelar los procesos en el mundo real, de manera que hay una interacción constante entre las matemáticas puras y las matemáticas aplicadas.



-Primera versión inglesa de //Los elementos// de [|Euclides], en 1570. -Obra básica en el desarrollo de las matemáticas tal y como las conocemos en la actualidad.-

Las matemáticas pueden considerarse **como el estudio general de las estructura de sistemas**. Puesto que el estudio no está relacionado con el mundo físico, se buscan pruebas formales rigurosas, en lugar de verificaciones experimentales. La teoría se presenta en términos de un pequeño número de verdades dadas (conocidas como //axiomas//), desde las que puede inferir toda una teoría. Por lo tanto, los objetivos son la generalidad en el planteamiento y el rigor en la prueba, fines que pueden explicar la preocupación tradicional de los matemáticos por la unificación de ramas aparentemente distintas de las matemáticas.

No es infrecuente encontrar a quien describe la matemática como una simple extensión de los lenguajes naturales humanos, que utiliza una gramática y un vocabulario definidos con extrema precisión, cuyo propósito es la descripción y exploración de relaciones conceptuales y físicas. Recientemente, sin embargo, los avances en el estudio del lenguaje humano apuntan en una dirección diferente: los lenguajes naturales (como el español y el francés) y los lenguajes formales (como la matemática y los lenguajes de programación) son estructuras de naturaleza básicamente diferente.