LOGICA MATEMATICA - Parte "Algoritmi"
prima parte  (formalismo e intuizionismo; la formalizzazione del concetto di algoritmo)
  1introduzione; 2programmi di Turing-Post, tesi di Church; 3macchine a registri; 4calcolo equazionale; 5funzioni ricorsive
seconda parte  (il problema della fermata)
  6equivalenze, sottoprogrammi ricorsivi; 7i codici, il programma/calcolatore universale; 8indecidibilità dell'halting problem
terza parte  (sintassi e semantica, sistema formale e modello, 1º teo. di incompletezza, indecidibilità del calcolo dei predicati)
  9calcolo dei predicati; assiomatizzabilità, decidibilità, completezza; teo. di incompl. di Turing-Gödel; 10macchine di Turing; 11problemi di parole; 12indecidibilità del calcolo dei predicati
quarta parte  ("storia", collegamenti, 2º teorema di incompletezza)
  13retrospettiva storica: l'aritmetizzazione dell'analisi, 14matematica classica, teoria degli insiemi, 15matematica costruttiva, 16collegamenti con altre aree matematiche, teorema di Chaitin-Gödel.
17altri esercizi

Mathematical logic su WikiPedia.