Modalità d'esame
Esame orale.
Prerequisiti
Non è previsto alcun prerequisito.
Programma insegnamento
Modulo 1
La nozione di prova da un punto di vista logico: deduzione naturale e significato operazionale dei connettivi.
Modulo 2
Introduzione alla teoria della dimostrazione: sistemi à la Gentzen e loro proprietà. Il problema della non-contraddittorietà dell'aritmetica.
Riferimenti bibliografici
Module 1:
- Dispense distribuite dal docente.
- Ulteriori riferimenti bibliografici saranno indicati a lezione.
Module 2:
- Dispense distribuite dal docente.
- A. Troelstra, H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000 (capitoli scelti).
- Ulteriori riferimenti bibliografici saranno indicati a lezione.