Descrizione
In questo video introduco il concetto di modello di calcolo descrivendo in particolare le relazioni che sussistono tra macchine e linguaggi, finendo col discutere il ruolo della tesi di Church-Turing nella costruzione dei moderni computer digitali.
Timestamps
00:00 introduzione
00:50 ripasso video precedenti
04:25 pseudocodice e cervello
14:30 macchine e linguaggi
17:40 l’importanza della traduzione
22:30 la tesi di Church-Turing
Riferimenti / Materiale