Una introducción a las matemáticas en reversa

Ponente(s): David José Fernández Bretón

Normalmente, en matemáticas uno parte de cierto conjunto de axiomas, y con ellos deduce teoremas. En matemáticas en reversa uno recorre el camino al revés: dado un teorema específico, ¿cuáles son los axiomas que realmente se necesitan para desarrollar su demostración? Esta vibrante rama de la Lógica Matemática ha desarrollado varios resultados muy interesantes, calibrando la "fuerza lógica" de varios resultados clásicos en matemáticas. Actualmente la investigación se ha enfocado mucho en resultados inusuales, principalmente de combinatoria, que parecen escapar toda clasificación previamente establecida. En esta plática intentaré introducir las nociones básicas de esta emocionante línea de investigación.