Resumen

GALINDO MARCHENES, Franklin. Dos tópicos de lógica matemática y sus fundamentos . EPISTEME [online]. 2014, vol.34, n.1, pp.41-66. ISSN 0798-4324.

El objetivo de este artículo es presentar dos tópicos de Lógica ma­temática y sus fundamentos: El primer tópico es una actualización de la de­mostración de Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto “Introduction to Mathematical Logic” (1956) y usa el procedimiento efectivo de Forma normal de Skolem; el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio de Baire llamada “Propiedad de partición polari­zada” es falsa en el Modelo básico de Cohen.

Palabras clave : Church; completitud; propiedad-partición-polarizada.

        · resumen en Inglés     · texto en Español     · Español ( pdf )