-
Antes de la edad moderna y la difusión del conocimiento a lo largo del mundo, los ejemplos escritos de nuevos desarrollos matemáticos salían a la luz solo en unos pocos escenarios. Los textos matemáticos más antiguos disponibles son la tablilla de barro Plimpton 322
-
Fue un filósofo y matemático griego considerado el primer matemático puro. Contribuyó de manera significativa en el avance de la matemática helénica, la geometría, la aritmética, derivadas particularmente de las relaciones numéricas, y aplicadas por ejemplo a la teoría de pesos y medidas, a la teoría de la música o a la astronomía.
-
Desarrollo del algebra y símbolos para operaciones matemáticas.
-
Algebra, geometría y contabilidad de doble entrada, Desarrollo de simbolismos.
-
Resolución de problemas matemáticos mediante el algebra.
-
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
