Lm1-logica Matematica 1, Complementi di Logica Classica

Programma

Teorema di eliminazione del taglio (dimostrazione completa). Applicazioni dei teoremi di compattezza, completezza, eliminazione del taglio. Teorema di Herbrand e risoluzione. Funzioni ricorsive. Decidibilità: esempi di teorie decidibili (OLDSE). Aritmetica di Peano e teoremi di incompletezza di Gödel.

Materiale Didattico

Dispense fornite dai docenti