| TEOREMI SULLA LOGICA 2
(obiettivi)
IL CORSO SI PROPONE COME OBIETTIVO LO STUDIO DELLE APPLICAZIONI DEL TEOREMA DI COMPATTEZZA, DEI TEOREMI DI LÖWENHEIM-SKOLEM, DELLA RICORSIVITÀ E DECIDIBILITÀ, DELL'ARITMETICA DI PEANO E DEI TEOREMI DI INCOMPLETEZZA DI GÖDEL.
|
Università Roma Tre