Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.
Approfondire alcuni argomenti di teoria della dimostrazione.
Tradizionale
Richiami di teoria delle categorie.
Le funzioni ricorsive.
Alcuni aspetti di teorie dalle dimostrazione: tra questi, il teorema di incompletezza di Gödel, i modelli della realizzabilità di Kleene, il decimo problema di Hilbert.
Note del corso
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
RUGGERO PAGNAN
In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.
LOGICA MATEMATICA 2
Orale
Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti)
Modalità di frequenza: Facoltativa
Modalità di iscrizione agli esami