I paradossi dell'informatica
Marcello Frixione, AA.VV., Marcello Frixione, Marcello Frixione
- Italian
- ePUB (adapté aux mobiles)
- Disponible sur iOS et Android
I paradossi dell'informatica
Marcello Frixione, AA.VV., Marcello Frixione, Marcello Frixione
Ă propos de ce livre
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.