Fundamentos de las matemáticas

Ir a la navegaciónIr a la búsqueda

Principia Mathemática, obra de Bertrand Russell y Alfred North Whitehead, representantes de la

perspectiva filosófica del Logicismo.

Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números,
figuras geométricas, conjuntos, funciones, etc. y cómo forman jerarquías de estructuras y conceptos más
complejos, especialmente las estructuras fundamentalmente importantes que forman el lenguaje de las
matemáticas: fórmulas, teorías y sus modelos, dando un significado a las fórmulas, definiciones,
pruebas, algoritmos, etc. también llamados conceptos metamatemáticos, con atención a los aspectos
filosóficos y a favorecer la unidad de la matemática. La búsqueda por los fundamentos de la matemática
es una pregunta central de la filosofía de las matemáticas; la naturaleza abstracta de los objetos
matemáticos presenta desafíos filosóficos especiales.

Los fundamentos de las matemáticas como un todo no apuntan a contener los fundamentos de cada
tópico matemático. Generalmente, los fundamentos de un campo de estudio, se refieren a un análisis
más o menos sistemático de sus conceptos más básicos, su unidad conceptual y su ordenamiento natural
o jerarquía de conceptos, los cuales podrían ayudar a conectarlos con el resto del conocimiento humano.
El desarrollo, surgimiento y aclaración de los fundamentos puede aparecer tarde en la historia de un
campo, y podría no ser visto por algunos como su parte más interesante.

Las matemáticas siempre jugaron un rol especial en el pensamiento científico, sirviendo desde tiempos
antiguos como modelo de verdad y rigor para la inquisición racional, dando herramientas o incluso
fundamentos para otras ciencias (especialmente la física). Pero las matemáticas ya hacía abstracciones
muy elevadas en el siglo xix, que trajeron paradojas y nuevos desafíos, exigiendo un examen más
profundo y sistemático de la naturaleza y del criterio de la verdad matemática, así como también una
unificación de las diversas ramas de la matemática en un todo coherente.

La búsqueda sistemática de los fundamentos de las matemáticas empezó al fin del siglo xix, y formó una
disciplina matemática nueva llamada lógica matemática, con fuertes vínculos con la ciencia de la
computación teórica. Fue mediante una serie de crisis con resultados paradójicos, que los
descubrimientos se estabilizaron durante el siglo xx con un amplio y coherente cuerpo de conocimiento
matemático con muchísimos aspectos o componentes (teoría de conjuntos, teoría de modelos, teoría de
pruebas...), cuyas detalladas propiedades y posibles variantes aún están en campo de investigación.