Adamantio.net - Computer a responsabilità limitata, di David Harel

«Nel 1984, la rivista "Time" dedicò un suo articolo di fondo al software e ai computer. Nel corso di questo (peraltro ottimo) pezzo, si citava a un certo punto l'opinione del direttore di una rivista specializzata nel settore.....

Se mettete il software appropriato in un computer, questo farà tutto quello che desiderate. Le macchine in se possono avere dei limiti, ma non ci sono limiti a quello che i software possono realizzare.

Sbagliato, clamorosamente sbagliato. Tanto sbagliato da farmi dire che il libro che avete per le mani può essere riassunto in poche parole come il tentativo di confutare, anzi di demolire, questa affermazione.»

Così comincia questo bel libro di David Harel...

...un libro che unisce semplicità di lettura e rigore empirico, ricco di esperimenti interessanti e prove matematiche. Un libro che parla di computer da un versante poco esplorato: i limiti logici della tecnologia informatica, che spesso molti ignorano, carichi di infinite aspettative. Eccovi a seguire il testo del frontespizio...

«I progressi della tecnologia informatica ci hanno abituati a credere che basta dare in pasto dei dati a un computer molto potente per ottenere una risposta a qualunque quesito. Sbagliato: ci sono problemi che i computer proprio non possono risolvere.

Il calcolatore elettronico è una macchina meravigliosa, forse la più importante invenzione del xx secolo. Ha cambiato la nostra vita in modo radicale e inalterabile, quasi sempre in meglio. Ma esistono problemi che i computer proprio non sanno affrontare, o che non riescono a risolvere entro un tempo ragionevole. Non è colpa della tecnologia ancora arretrata o dell'incapacità dei programmatori: è un fatto dimostrato in modo matematico.

La cosa puù sorprenderci, ma è nota agli esperti da almeno sessant'anni. E non riguarda solo qualche astruseria teorica, ma problemi concreti con importanti applicazioni pratiche, che devono essere affrontati anche se pochi ne sono al corrente con soluzioni approssimate a volte lontane dall'ottimale.

Harel ci spiega con arguzia e semplicità la natura di questi limiti, le loro conseguenze e i modi per aggirarli. Ci racconta anche di come, in modo paradossale, questi stessi limiti possano tornarci utili, rendendo ad esempio possibile la trasmissione sicura dei dati via Internet. E quasi en passant, con grande abilità di divulgatore, ci introduce ai concetti fondamentali della scienza dei computer, parlandoci di algoritmi, di macchine di Turing, di intrattabilità , di completezza e di molto altro ancora.»

David Harel
Computer a responsabilità limitata
Dove le macchine non riescono ad arrivare
Garzanti
euro 13,00