• Objetivo

    • Profundizar conceptos de Lógica Proposicional, Lógica de Primer Orden y Teorías de Primer Orden vinculados a Consistencia, Completitud y Decidibilidad con el objeto de estudiar detalladamente los resultados de Independencia Axiomática.
    • Analizar la Aritmética de Peano y la de Presburger vincularlas con la Teoría de la Recursión.
    • Estudiar la aritmetización de los formalismos y el Teorema Fundamental de la Representabilidad para finalmente demostrar los teoremas de incompletud con w-consistencia, Incompletud General, Gödel – Rosser (1936), el segundo teorema de Gödel y el Teorema de Lob
    Acceso de invitados
Saltar Navegación

Navegación

    • ForoNovedades del sitio

    • Cursos

      • Dto de Computación

        • 2010

          • 2do Cuatrimestre