La Parte III (“Automi infiniti. Calcolabilità”) introduce il modello della macchina di Turing come formalizzazione della procedura effettiva e discute i limiti della calcolabilità (in particolare il problema dell’arresto), quindi presenta la teoria delle funzioni ricorsive e la sua relazione con la calcolabilità nel senso di Turing.
In via eccezionale, pubblico qui il testo originale della Parte III in due pagine corrispondenti ai due capitoli.
