Che cosa possono fare i computer in linea di principio? Quali sono i loro limiti teorici intrinseci? Queste sono domande a cui gli informatici devono rivolgersi. Il quadro teorico che permette di rispondere a tali domande è stato sviluppato negli ultimi cinquant'anni a partire dall'idea di una funzione calcolabile: intuitivamente una funzione i cui valori possono essere calcolati in modo efficace o automatico. Questo libro è un'introduzione alla teoria della calcolabilità (o teoria della ricorsione, come è tradizionalmente nota ai matematici). Il dottor Cutland inizia con una caratterizzazione matematica di funzioni calcolabili utilizzando un semplice computer idealizzato (una macchina di registro); Dopo alcuni confronti con altre caratterizzazioni, sviluppa la teoria matematica che include una discussione completa della non computabilità e dell'indecidibilità e la teoria degli insiemi ricorsivi e ricorsivamente enumerabili. I capitoli successivi forniscono un'introduzione ad argomenti più avanzati come il teorema di incompletezza di GÃdel, i gradi di irrisolvibilità, i teoremi di ricorsione e la teoria della complessità della computazione. La computabilità è quindi una branca della matematica che è rilevante anche per gli informatici e i filosofi. Gli studenti di matematica senza conoscenze pregresse della materia e gli studenti di informatica che desiderano integrare le loro competenze pratiche con un po' di background teorico troveranno questo libro utile e interessante. Lingua: Inglese