La visione di Turing: La nascita dell'informatica

Recensioni dei lettori

Il libro riceve ampi consensi per le spiegazioni chiare e accessibili di concetti complessi dell'informatica e della logica matematica, in particolare per quanto riguarda Alan Turing e i suoi contributi. Molti lettori apprezzano il contesto storico e la profondità delle informazioni fornite, che lo rendono prezioso sia per gli appassionati che per i professionisti dell'informatica. Tuttavia, alcune recensioni menzionano alcuni difetti, come l'insufficienza di dettagli in alcune aree, errori tipografici e il desiderio di maggiori informazioni sulla vita di Turing e sul contesto più ampio dell'informatica.

⬤ Spiegazioni chiare e comprensibili di argomenti complessi di informatica e logica matematica.
⬤ Fornisce un prezioso contesto storico e introduce i lettori a figure chiave come Alan Turing e Charles Sanders Pierce.
⬤ Accessibile a un pubblico generale, è adatto sia ai principianti che a coloro che hanno una certa preparazione nel campo.
⬤ Stile narrativo coinvolgente che mantiene vivo l'interesse dei lettori.
⬤ Buona bibliografia per ulteriori letture.

⬤ Il capitolo sul calcolo lambda non è sufficientemente dettagliato.
⬤ Alcuni contenuti tecnici possono andare oltre la comprensione comune.
⬤ Il libro contiene diversi errori tipografici.
⬤ Alcuni lettori desiderano maggiori dettagli sulla vita di Turing e sullo sviluppo della tecnologia informatica.
⬤ Alcune parti del libro possono sembrare affrettate o poco approfondite, soprattutto verso la fine.

(basato su 20 recensioni dei lettori)

Titolo originale:

Turing's Vision: The Birth of Computer Science

Contenuto del libro:

Un'esplorazione accessibile e affascinante di come la teoria matematica di Alan Turing abbia dato origine all'informatica moderna e alle sue applicazioni, dal desktop ai telefoni cellulari.

Nel 1936, quando aveva solo ventiquattro anni, Alan Turing scrisse un documento straordinario in cui delineava la teoria della computazione, esponendo le idee che sono alla base di tutti i computer moderni. Questa teoria rivoluzionaria e potente costituisce oggi la base dell'informatica. In Turing's Vision, Chris Bernhardt spiega la teoria, il contributo più importante di Turing, al lettore comune. Bernhardt sostiene che il punto di forza della teoria di Turing è la sua semplicità e che, spiegata in modo diretto, è eminentemente comprensibile per i non specialisti. Come scrive Marvin Minsky, "la pura semplicità delle basi della teoria e la straordinaria brevità del percorso da queste basi alle sue logiche e sorprendenti conclusioni conferiscono alla teoria una bellezza matematica che da sola le garantisce un posto permanente nella teoria dei computer". Bernhardt parte dalle fondamenta e arriva sistematicamente alle sorprendenti conclusioni. Inoltre, analizza la teoria di Turing nel contesto della storia della matematica, di altri punti di vista sulla computazione (compresi quelli di Alonzo Church), del lavoro successivo di Turing e della nascita del computer moderno.

Nell'articolo "On Computable Numbers, with an Application to the Entscheidungsproblem", Turing riflette attentamente sul modo in cui gli esseri umani eseguono il calcolo, scomponendolo in una sequenza di passaggi, e poi costruisce macchine teoriche in grado di eseguire ciascun passaggio. Turing voleva dimostrare che esistevano problemi che non potevano essere risolti da nessun computer.

In particolare, voleva trovare un problema decisionale che potesse dimostrare di essere indecidibile. Per spiegare le idee di Turing, Bernhardt esamina tre noti problemi decisionali per esplorare il concetto di indecidibilità.

Studia le macchine di calcolo teoriche, comprese le macchine di Turing.

Spiega le macchine universali.

E dimostra che alcuni problemi sono indecidibili, tra cui il problema di Turing sui numeri computabili.