2. Pedro Armijo
Introducción
La implementación de la rigorización en las matemáticas se asemeja a la
declaración de principios en un tratado filosófico. Con el desarrollo de las
matemáticas, surgió la necesidad de establecer bases más sólidas y normas
estrictas para asegurar la coherencia y la validez de los resultados.
Actualmente, las matemáticas son reconocidas como una ciencia exacta
con aplicaciones en diversos campos como Biología, Física, Ingeniería,
Medicina y ciencias sociales. Los campos de acción de esta ciencia son
tan variados como las premisas que se derivan de ella para estructurar el
conocimiento. Un ejemplo es la epistemología, la teoría del conocimiento,
que se podría definir como la rama de la filosofía que busca analizar la
naturaleza, posibilidad y límites del conocimiento.
2
4. Pedro Armijo
La historia de la fundamentación matemática es fascinante. Todo comenzó en el siglo XIX con
algunos problemas fundamentales que provocaron una revolución en los cimientos de las
matemáticas. Aquí tienes una línea de tiempo simplificada:
1. Siglo XIX: Crisis en los Fundamentos
• - 1820s-1830s: Desarrollo de la geometría no
euclidiana por Bolyai y Lobachevsky, desafiando los
postulados de Euclides.
• - 1858: Dedekind introduce los cortes Dedekind
como base para los números reales.
• - 1870s-1880s: Cantor desarrolla la teoría de
conjuntos, introduciendo conceptos como el infinito
4
2. Principios del Siglo XX: Paradojas y Crisis en
la Teoría de Conjuntos
- 1900: Hilbert formula sus 23 problemas,
incluyendo el famoso segundo problema sobre la
consistencia de la aritmética.
- 1901: Russell descubre la paradoja que lleva su
nombre en la teoría de conjuntos.
- 1910s-1920s: Crisis en los fundamentos con las
paradojas y la búsqueda de una base más rigurosa.
5. Pedro Armijo
Sigamos
3. 1930s: Axiomatización y la Lógica Matemática
• - 1931: Gödel publica su teorema de incompletitud,
demostrando que ningún sistema formal puede ser
completo y consistente al mismo tiempo.
• - 1930s-1940s: Desarrollo de la lógica matemática
y la teoría de modelos para abordar las cuestiones
fundamentales.
5
4. 1950s-1960s: Aparición de Nuevos
Fundamentos
- 1950s: Desarrollo de la teoría de conjuntos
Zermelo-Fraenkel (ZF) con axioma de elección
(ZFC) como nuevo fundamento para las
matemáticas.
- 1963: Cohen demuestra la independencia del
axioma de elección y la hipótesis del continuo.
6. Pedro Armijo
• 5. Décadas Recientes: Desarrollos y Desafíos
Continuos
• - 1970s-1980s: Desarrollo de la teoría de conjuntos
moderna y la teoría de modelos.
• - 2000s en adelante: Avances en la teoría de
categorías, topología algebraica y otros campos que
influyen en la fundamentación matemática.
6
La fundamentación matemática ha sido un
viaje emocionante con desafíos,
descubrimientos y nuevos fundamentos. La
búsqueda de la coherencia y la claridad en
los cimientos de las matemáticas sigue
siendo un tema activo en la investigación
matemática actual.