Computer a responsabilità limitata. Dove le macchine non riescono ad arrivare

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.