La topología en la lógica: el teorema de compacidad

• Autores: Rafael Marino Sarmiento
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 8, Nº. 1-6, 1974, págs. 89-94
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • Queremos primero presentar el Teorema de compacidad de la lógica proposicional. Paralelamente introduciremos algunas de las ideas elemental es de la lógica. Posteriormente demostraremos el teorema usando herramientas de topología. Deseamos, de esta manera, ilustrar la unicidad de la matemática