• Inicio

    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

     

    Correlatividades

    Lógica Y Computabilidad

     

    Créditos

    Dos (2) puntos (grado y doctorado)