¿Hay matemática más allá de la lógica?

Abstract

Exploramos la persistencia de la lógica en el quehacer matemático a través del estudio de sistemas lógicos no clásicos. Partiendo de los teoremas de incompletud de Gödel, se analiza la limitación de la lógica clásica y la teoría de conjuntos ZFE, permitiendo la emergencia de enfoques pluralistas, tales como el intuicionismo, la paraconsistencia y la relevancia. Se presentan ejemplos concretos de aplicación en teoría de conjuntos, mediante el método de forcing, y en estructuras algebraicas donde se legitiman estados paradójicos como soluciones naturales y no explosivas. Finalmente, se argumenta a favor de una matemática que trasciende el rigor del ex falso quodlibet, sugiriendo nuevas vías de investigación en topología paraconsistente aplicada al análisis de datos.