Libro · 2018 · Martin Davis

The Universal Computer

Il ritmo incredibilmente rapido del cambiamento nell'informatica rende facile trascurare i pionieri che hanno dato inizio a tutto. Scritto da Martin Davis, rispettato logico e ricercatore nella teoria della computazione, Il computer universale: La strada da Leibniz a Turing esplora le affascinanti vite, idee e scoperte di sette matematici straordinari. Racconta le storie degli eroi non celebrati dell'era del computer: i logici. La storia inizia con Leibniz nel XVII secolo e si concentra poi su Boole, Frege, Cantor, Hilbert e Gödel, prima di passare a Turing. L'analisi di Turing dei processi algoritmici ha portato a una singola macchina universale che poteva essere programmata per eseguire tali processi: il computer. Davis descrive come questo incredibile gruppo, con vite straordinarie quanto i loro successi, si sia confrontato con il ragionamento logico e la sua meccanizzazione. Indagando i loro successi e fallimenti, mostra come questi pionieri abbiano spianato la strada per l'informatica moderna. Aggiornando il materiale, in questa edizione riveduta, Davis discute il successo dell'IBM Watson a Jeopardy, riorganizza le informazioni sull'incompletezza e aggiunge informazioni su Konrad Zuse. Un distinto logico vincitore di premi, Martin Davis ha avuto una carriera di oltre sei decenni dedicata al'importante interfaccia tra logica e scienza informatica. La sua esperienza, unita al suo genuino amore per l'argomento e alla sua eccellente narrativa, lo rendono la persona perfetta per raccontare questa storia.