• Programa

    Programa

    • Lógica Proposicional: Consistencia, Completitud y Decidibilidad
    • Lógica de Primer Orden: Consistencia, Completitud y Decidibilidad
    • Teorías de Primer Orden: Consistencia, Completitud y Decidibilidad Compacidad y Categoricidad
    • Lema de Lindenbaum y extensiones Completas Teorema de Löwenheim-Skolem.
    • SubSistemas decidibles: K-validez y Lógica Monádica
    • Incremento de dominios
    • Aritmética de Peano: Unicidad en segundo orden, Categoricidad.
    • Extensiones Finitas del Teorema de Ramsey y The Goodstein´s Amazing Secuence
    • Modelos no clásicos de aritmética de Peano
    • Funciones recursivas generales y no recursivas
    • Aritmetización de formalismos
    • Teorema fundamental de la representabilidad.
    • Teoremas de Gödel
    • Condiciones de Derivabilidad de Hilbert – Bernays
    • Teorema de Lob