Equivalencia, Epistemología y Ontología: Fundamentos Intuicionistas de la Aritmética y los Conjuntos

Ponente(s): Luis Alexandher Vergara Gómez

Presentamos una exploración de la equivalencia entre la Aritmética de Heyting (HA) y una Teoría Intuicionista de Conjuntos Pequeños. Mediante codificaciones tipo Ackermann, mostramos cómo números y conjuntos finitos pueden representarse mutuamente, sin pérdida de contenido. Esta equivalencia sugiere que ninguno requiere un estatus ontológico privilegiado y refuerza la idea intuicionista de que la verdad matemática depende de construcciones efectivas.