Libri di David Harel

Gli algoritmi sono il cuore dell'informatica e della matematica, poiché senza di loro l'uso del computer non sarebbe possibile. In questo libro Harel e Feldmann rispondono a tutte le domande relative a questo tema. Parlano della valutazione, della correttezza e dell'efficacia degli algoritmi, ma chiariscono anche qualche dubbio sulle tecniche di programmazione e si riferiscono inoltre all'attualissima discussione sul calcolo quantistico. Il libro è utile sia come testo base per un corso universitario introduttivo all'informatica, sia come introduzione generale alle scienze naturali, alla matematica o all'ingegneria. Attraverso l'uso di domande stuzzicanti ed esempi selezionati con cura e spesso divertenti, l'autore trasmette al lettore l'entusiasmo e la soddisfazione intellettuale della ricerca nel campo dell'informatica. Senza usare la matematica formale, ma senza per questo motivo sacrificare l'integrità intellettuale, egli comunica al lettore generale i profondi principi su cui si fonda l'informatica; principi che, prima d'ora, risultavano accessibili solo attraverso libri di testo e articoli scientifici molto complessi.

Siamo governati dai computer. Preleviamo denaro, facciamo acquisti, guidiamo, lavoriamo, giochiamo con la supervisione di un fedele marchingegno informatico. Ci siamo anche illusi che la rivoluzione ".com" cambiasse per sempre le sorti del nostro mondo umano. Di certo deleghiamo ai computer una quantità di scelte e operazioni, dalle più sofisticate alle più banali, sicuri del loro sviluppo e del loro potere. Ma ci sono cose che anche i computer non possono e non potranno mai fare. Ci sono dei limiti intrinseci e sono invalicabili.