[04] Dalla logica al computer

Come le regole del pensiero sono diventate silicio e codice? Mattia e Gabriele ripercorrono il filo storico che porta da Leibniz e il suo sogno di una Characteristica Universalis, all'algebra di Boole, fino alla Macchina di Turing e al concetto di algoritmo. Un viaggio affascinante alle radici filosofiche dei computer moderni e dell'intelligenza artificiale.