I paradossi dell'informatica

Questo volume verte sui limiti dell'informatica, in particolare sull'indecidibilità del cosiddetto problema della fermata. Si tratta di un tema che di solito non viene classificato tra i paradossi, ma che tuttavia presenta affinità e legami strettissimi con alcuni paradossi intesi in senso proprio, per esempio con il paradosso del Barbiere. I risultati presentati nel volume furono ottenuti nel contesto delle ricerche pionieristiche di Alan Mathison Turing sulle macchine calcolatrici e sul concetto di computazione. In un certo senso, tali risultati delimitano il campo dell'informatica, stabilendone i confini: vi sono cose che un programma per calcolatore non potrà mai fare, non per vincoli contingenti di tipo tecnologico, ma per ragioni teoriche.