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