Docente
|
TORTORA DE FALCO LORENZO
(programma)
Applicazioni del teorema di compattezza, i teoremi di Löwenheim-Skolem. Ricorsività e decidibilità, completezza e decidibilità di una teoria, esempi. Aritmetica di Peano e teoremi di incompletezza di Gödel.
(testi)
Dispense fornite dal docente
|