Computer a responsabilità limitata

Il libro

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.