Quali sono i limiti della conoscenza umana? Gottfried Leibniz propose una macchina in grado di leggere qualsiasi enunciato matematico e determinare se questo
sia vero o falso. Può esistere una macchina del genere? Circa due secoli più tardi, Gödel scoprì che ci sono dei limiti alla conoscenza della matematica.
Alcuni anni dopo la scoperta di Gödel, Alan Turing rispose ad un problema simile a quello posto da Leibniz, ossia il problema della terminazione. Ora gli
scienziati stanno affrontando un problema, la cui risoluzione potrebbe rivoluzionare il mondo: il problema delle classi PvsNP. Questo è uno dei famigerati
problemi del millenio, chiunque fornisca la dimostrazione a uno di questi problemi vincerà il premio di 1 milione di dollari.
Supporta il canale — https://bit.ly/31lxWgV
Libri
Il calcolatore universale. Da Leibniz a Turing. https://amzn.to/2J49R86
Tutti pazzi per Gödel! La guida completa al teorema di incompletezza https://amzn.to/31O5UuU
Alan Turing. Storia di un enigma https://amzn.to/34y3q5s
Soundtrack
Music by Kevin MacLeod. Available under the Creative Commons Attribution 3.0 Unported license. Download link: https://incompetech.com/music/royalty…
Vi ringrazio per la visione.
