Lm1-logica Matematica 1, Complementi di Logica Classica

Programma

Il teorema di eliminazione del taglio per la logica del primo ordine. Teoremi sull’aritmetica formalizzata del primo ordine.  Teoremi di incompletezza della logica 

Materiale Didattico

- Dispense fornite dal docente

- Cori R, Lascar D “Logique mathématique”, Masson 1994

- Girard J-Y “Proof-theory and logical complexity”, Bibliopolis 1987