Fundamentos de la matemática

Guardameta (el texto de Hilbert y Bernays)Los Fundamentos de la matemática es 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 la matemática: 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 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.Pero los fundamentos de la matemática 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 fundamentales 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, emergencia y aclaración de los fundamentos puede aparecer tarde en la historia de un campo, y podría no ser visto por cualquiera 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 lo mucho de la matemática hacia abstracciones más elevadas en el siglo XIX, trajeron paradojas y desafíos nuevos, exigiendo un examen más profundo y sistemático de la naturaleza y el 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 la matemática 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, hasta 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 propiedades detalladas y posibles variantes aún están en campo de investigación activa. Su alto nivel de sofisticación técnica inspiró a muchos filósofos a conjeturar que puede servir como modelo o patrón para los fundamentos de otras ciencias.