(25/05/2021 h.9--10:15) Il teorema di Matiyasevich (completamento della presentazione della settimana scorsa); gödelizzazione del calcolo proposizionale
Schema della sezione
-
Per quanto riguarda il completamento della presentazione sul 10.o problema di Matiyasevich, ci si rifà al materiale della settimana scorsa. Nuova la dispensa sulla gödelizzazione (ossia: aritmetizzazione) del calcolo proposizionale.