Informatica teorica

L'informatica può essere paragonata a una straordinaria pianta, capace di variare il colore dei propri fiori in funzione dell'ambiente in cui cresce, capace di svilupparsi autonomamente su un alto e robusto fusto, ma più spesso di integrarsi con pareti, tralicci e altre piante e arricchirli con la bellezza dei suoi fiori e il sapore dei suoi frutti (ma anche di infilarsi in piccole fessure con il rischio di trasformarle in pericolose crepe). Come e più di ogni altra pianta, però, un simile rigoglioso sviluppo non sarebbe possibile senza sane e profonde radici. Le radici dell'informatica - i suoi principi, la sua teoria - affondano nella storia fino a confondersi con quelle della matematica e della filosofia e si estendono ben al di là di una collezione di definizioni e pur fondamentali proprietà matematiche: in primo luogo devono essere capaci di trovare la propria via in terreni tra i più diversi; solo così potranno continuare ad alimentare la parte della pianta visibile in superficie. Questo testo si propone di accompagnare il lettore sottoterra, alla scoperta di che cosa c'è sotto i supercalcolatori, il web, i social network, i veicoli senza pilota ecc.: capire in modo approfondito le radici della disciplina aiuterà a sviluppare la pianta sia in superficie che sotto di essa.