L’insegnamento di Teoremi sulla Logica 2 rientra nell’ambito delle attività formative caratterizzanti del Cds in Scienze Filosofiche. Alla fine del corso lo studente avrà acquisito una buona conoscenza della teoria della ricorsività ed avrà compreso i legami tra logica ed aritmetica attraverso lo studio delle dimostrazioni dei teoremi di incompletezza di Godel.