Il problema della terminazione di Turing e il limite silenzioso dell’intelligenza artificiale

Alan Turing, padre dell’informatica, matematico di formazione ed inglese di origine. Nel 1936 formulò uno dei risultati più profondi della storia del pensiero umano: Il problema della terminazione.

A prima vista sembra una questione tecnica, confinata al mondo dei computer, ma in realtà tocca un nodo molto più ampio che riguarda i limiti della conoscenza, della previsione e, oggi più che mai, dell’intelligenza artificiale.

Il problema può essere raccontato in modo semplice. Immaginiamo una macchina capace di leggere qualsiasi programma (manualetto di istruzioni) e di stabilire, prima ancora di eseguirlo, se quel programma, una volta avviato, terminerà oppure continuerà a girare per sempre. Sarebbe una sorta di osservatore perfetto, un controllore universale.

Turing è riuscito a dimostrare che una macchina del genere non può esistere. Non perché sia troppo difficile costruirla, ma perché la sua esistenza porta a una contraddizione logica.

L’argomento è sorprendentemente intuitivo. Se esistesse un controllore capace di decidere sempre se un programma termina, allora potremmo scrivere un programma “dispettoso” che fa esattamente il contrario di ciò che il controllore prevede: se il controllore dice che terminerà, il programma entra in un ciclo infinito; se invece dice che non terminerà, il programma si ferma immediatamente. Qualunque risposta dia il controllore, sbaglia.

Da qui la conclusione inevitabile: non può esistere un controllore perfetto. Esistono programmi che terminano ed esistono programmi che non terminano, ma non esiste una regola generale che permetta di saperlo sempre a priori.

Detto in modo ancora più semplice, il problema della terminazione ci dice che esistono processi il cui esito non è decidibile prima che il processo stesso si svolga. Alcune cose possono essere comprese solo vivendole, non osservandole dall’esterno. Questo è il punto in cui la scoperta di Turing smette di essere pura informatica e diventa profondamente umana.

Spostando dunque lo sguardo fuori dai computer, il significato diventa immediatamente chiaro. Pensiamo a una persona e chiediamoci se cambierà mai davvero nel corso della sua vita. Possiamo analizzarne il passato, il carattere, le abitudini, ma non potremo mai saperlo con certezza senza arrivare alla fine della sua storia. Non per mancanza di intelligenza, ma perché la persona cambia proprio mentre viene osservata, interrogata, messa alla prova. La previsione perfetta è impossibile perché l’oggetto della previsione non è statico.

Questo aspetto è centrale anche nel dibattito sull’intelligenza artificiale. Oggi le AI sono capaci di analizzare enormi quantità di dati, individuare schemi, fare previsioni sempre più accurate, e appunto, funzionano perché i sistemi analizzati sono bene o male “statici”. Tuttavia, il problema della terminazione ci ricorda che esistono limiti strutturali, non semplicemente tecnologici. Un sistema che reagisce all’osservazione, che modifica il proprio comportamento in funzione delle previsioni che vengono fatte su di lui, non può essere completamente anticipato. Nessuna quantità di potenza di calcolo elimina questo limite.

Da qui emerge un legame profondo con il concetto di libertà. Se tutto fosse prevedibile in anticipo, la libertà non avrebbe spazio. Saremmo esecutori di un copione già scritto. Il fatto che non tutto possa essere deciso prima è precisamente ciò che rende possibile la libertà. Il risultato di Turing suggerisce che nemmeno una macchina ideale può sapere sempre come andrà a finire una storia, e questo lascia aperto uno spazio reale per la sorpresa, per il cambiamento, per l’imprevisto.

Lo stesso vale per la coscienza. La coscienza umana non è solo un insieme di regole che producono un comportamento, ma un processo che si osserva e, osservandosi, cambia. Quando proviamo a spiegarci completamente a noi stessi, una parte di noi è già diversa da prima. È lo stesso meccanismo del programma dispettoso: il tentativo di descrizione modifica l’oggetto descritto. Per questo la coscienza non può essere completamente “chiusa” in una formula, e per questo l’intelligenza artificiale, per quanto avanzata, incontra un confine.

Anche il destino assume una forma diversa alla luce di questa idea. Non è una strada già tracciata, ma un sentiero che si crea mentre lo percorriamo. Esistono condizioni iniziali, vincoli, possibilità più probabili di altre, ma non un finale garantito. Come nei programmi, alcune parti sono date, ma il risultato complessivo non è sempre decidibile prima.

Questo vale per il lavoro, per le relazioni, per le scelte importanti della vita. Non possiamo sapere in anticipo se una strada sarà quella giusta; spesso lo diventa solo percorrendola. Non possiamo sapere se una relazione durerà o farà male, perché le persone cambiano quando vengono amate, ferite, osservate. Tutto ciò non rientra nelle previsioni. Amare significa accettare che non esista una garanzia, e proprio questa assenza di garanzia a rendere la relazione autentica. Allo stesso modo, molte scelte non hanno una risposta giusta prima: diventano giuste dopo, se vengono portate avanti con coerenza.

In definitiva, il problema della terminazione ci consegna una lezione semplice ma difficile da accettare: non tutto è calcolabile, non tutto è controllabile, non tutto è prevedibile. Le cose essenziali non fanno rumore, non si dimostrano come un teorema, ma si riconoscono e si vivono. E forse il limite dell’intelligenza artificiale non è un difetto della scienza o della tecnologia, ma il segno che qualcosa rimane aperto, vivo, irriducibile.