Descrizione
In questo video affronto la risoluzione (in negativo) del problema della fermata, dimostrando che per questo problema non esiste nessun algoritmo in grado di risolverlo.
Timestamps
00:00 Introduzione
01:30 Relazioni tra Input e Output
03:30 Comportamento qualitativo di una computazione
06:30 Il Problema della Fermata
08:50 Schema dimostrazione
14:10 Dimostrazione
20:25 Analisi computazione G(G)
25:00 Conclusioni
27:05 Note Storiche
Riferimenti / Materiale