PARTE II. AUTOMI INFINITI. CALCOLABILITÀ
Questa parte introduce la macchina di Turing come modello della nozione di procedura effettiva, discute i limiti della calcolabilità (in particolare il problema dell’arresto) e presenta le funzioni ricorsive come formalismo equivalente per la stessa nozione di calcolo.
In via eccezionale, pubblico qui il testo originale di questa parte in due pagine HTML, una per ciascun capitolo.
