092 – Questo libro mi ha fatto INNAMORARE dell'informatica

Descrizione

In questo video porto qualche riflessione sul libro “Il Calcolatore Universale”, scritto da Martin Davis.

Ah, tra l’altro, mi sa che non l’ho menzionato nel video, ma alla fine mi sono iscritto ad informatica, non ingegneria informatica.


Timestamps

00:00 Introduzione
01:25 L’importanza della lettura
06:15 Il calcolatore universale
09:28 Sinossi
14:11 Logici, Matematici, Informatici e Ingegneri
21:25 Quanto bella può essere un’idea?
25:35 Il sogno di Leibniz
28:11 L’algebra Booleana di Boolean
31:09 L’ideografia di Frege
32:43 Gli insiemi di Cantor
35:17 I Principia Mathematica di Russel e Whitehead
36:30 Il programma di Hilbert
37:57 I teoremi di incompletezza di Gödel
40:37 La Macchina di Turing
42:10 Il computer digitale


Riferimenti / Materiale

https://archive.leonardotamiano.xyz/yt/books/01/