(4/05/21 h.9--11; 5/05/21 h.11--13) Espansioni di Henkin, Universi di Herbrand, Teorema di completezza per il calcolo predicativo del 1.o ordine (senza uguaglianza). La nozione di enumerabilità ricorsiva.
Section outline
-
Restiamo ancoràti alla presentazione del *calcolo* predicativo del 1.o ordine caricata in questa pagina Moodle assieme al materiale di due settimane fa.
-
...che porta alla dimostrazione che vi sono insiemi elencabili non decidibili
-