"Le idee di Alan Turing influenzano ancora la ricerca".

L'idea di fondare un Centro Turing a Zurigo è nata nel 2012, quando Jack Copeland, professore dell'Università di Canterbury in Nuova Zelanda e specialista di logica matematica e filosofia dell'informatica, ha incontrato Giovanni Sommaruga, docente di filosofia delle scienze formali all'Università di Zurigo, in occasione di una conferenza internazionale intitolata "Turing under discussion". Nel 2014, il centro ha preso forma quando Jack Copeland e la sua collega Diane Proudfoot, responsabile di filosofia all'Università di Canterbury, hanno trascorso quattro mesi a Zurigo come professori invitati. Infine, nel 2015, la Direzione della scuola dell'ETH di Zurigo ha accettato di istituire il Turing Centre Zurich (TCZ) presso il Dipartimento di scienze umane, sociali e politiche.

Signora Proudfoot, signor Copeland, perché l'ETH di Zurigo è il luogo ideale per il Centro Turing?
Diane Proudfoot:L'ETH di Zurigo è particolarmente adatto come sede del Centro Turing perché è interamente dedicato al tipo di ricerca teorica innovativa che era il punto di forza di Alan Turing, ovvero il tipo di ricerca fondamentale guidata dalla curiosità che noi chiamiamo "blue skies research". Ciò significa che i ricercatori non hanno sempre in mente un obiettivo specifico, ma perseguono l'idea migliore del momento e in questo modo fanno scoperte inaspettate. Questo è esattamente il modo in cui procedeva Turing e come fanno tuttora i ricercatori dell'ETH. Inoltre, i ricercatori dell'ETH lavorano proprio nei settori che Turing ha rivoluzionato. Ecco perché l'ETH di Zurigo, al centro dell'Europa, è il luogo perfetto per il Centro Turing.

Jack Copeland:L'ETH di Zurigo è una sede molto appropriata anche dal punto di vista storico. Nel 1936, Turing pubblicò il suo famoso articolo "On computable numbers, with an application to the Entscheidungsproblem" (Sui numeri computabili, con un'applicazione all'Entscheidungsproblem), che, dal punto di vista odierno, ha fondato la moderna informatica. L'articolo di Turing era in qualche modo una risposta al pensiero profondo dei matematici che lavoravano nelle principali città universitarie del mondo di lingua tedesca, come Gottinga, Vienna e Zurigo.

Alan Turing stesso ha mantenuto rapporti con l'ETH di Zurigo?
Giovanni Sommaruga:Ci sono diverse lettere di Alan Turing e Paul Bernays, un tempo collaboratori di David Hilbert. Hilbert è stato il matematico che ha formulato il problema della decisione come il problema della possibilità di specificare una procedura di decisione per la generalità delle espressioni. Bernays stesso era un brillante logico matematico e filosofo della matematica e della logica presso l'ETH.

Jack Copeland:Turing ammirava il lavoro di Bernays. Bernays inviò a Turing una critica estremamente approfondita del suo articolo del 1936. Di conseguenza, Turing pubblicò una correzione nel 1937. Si tratta quindi di un legame piuttosto significativo con l'ETH di Zurigo.

Oltre a essere stato un pioniere dell'informatica e della filosofia dell'informatica, cosa ha da dire il lavoro di Alan Turing ai ricercatori di oggi?
Giovanni Sommaruga:Turing è stato uno degli scienziati più straordinari del XX secolo e quasi uno scienziato universale. Le sue conoscenze erano estremamente versatili e le sue idee hanno ancora oggi un impatto su molte discipline - tra cui la matematica, l'informatica, l'intelligenza artificiale, le scienze cognitive, la biologia e la filosofia.

Diane Proudfoot:Alan Turing ha avuto alcune idee davvero brillanti in settori molto diversi tra loro, e queste idee erano di solito molto diverse da quelle prevalenti del suo tempo. Le sue idee influenzano ancora la ricerca attuale e probabilmente quella futura.

Avete un esempio di come le idee di Turing influenzano la ricerca attuale?
Diane Proudfoot:Un esempio più vicino a noi riguarda l'Università di Losanna. Un fisico lavora nel campo della nanobiologia e il suo lavoro sembra essere un'estensione delle idee di Turing.

Giovanni Sommaruga:I nanopattern tridimensionali nel bio-nanoworld sono un esempio di un fenomeno che può essere meglio compreso facendo riferimento alle idee di Turing. In questo caso, si tratta delle sue equazioni morfogenetiche della biologia teorica. Naturalmente, Turing stesso non poteva nemmeno sognare le moderne nanotecnologie ai suoi tempi. Pertanto, analizziamo le idee di Turing non solo in un contesto storico, ma anche con lo sguardo rivolto all'impatto che le sue idee hanno oggi. Alcune delle intuizioni del nostro gruppo saranno pubblicate quest'anno nei libri "Turing's Revolution: The Impact of His Ideas on Computability" e "The Turing Guide".

Jack Copeland:Alan Turing fu il primo a studiare l'idea che i computer potessero essere costruiti a partire da neuroni artificiali. Propose computer formati preliminarmente sul cervello umano perché ciò avrebbe permesso di imitare in una certa misura il "cablaggio" tra i neuroni della corteccia cerebrale. Nel 1948, in una relazione intitolata "Macchine intelligenti", descrisse esempi di quelle che oggi chiamiamo "reti neurali". Turing stesso chiamò le sue reti neurali "macchine non organizzate di tipo A e di tipo B": non gli andava di usare una terminologia "sexy". Oggi il rapporto di Turing del 1948 è considerato il primo manifesto dell'"intelligenza artificiale", o AI in breve, come la chiamiamo oggi. Ma per molto tempo nessuno sapeva che Turing era stato il pioniere degli aspetti neurali o "connessionisti" dell'IA, perché lavorava semplicemente per la propria soddisfazione e non era troppo interessato a pubblicizzare le sue idee. Questa ignoranza del lavoro fondamentale di Turing sull'informatica neurale è terminata quando Diane e io abbiamo pubblicato il nostro articolo "On Alan Turing's Anticipation of Connectionism". Poi, nel 2012, è stata realizzata una "macchina non organizzata di tipo B" utilizzando la nanotecnologia.

C'è un legame tra le idee di Turing sulle reti neurali e l'intelligenza artificiale e la ricerca dell'ETH di Zurigo?
Diane Proudfoot: In un certo senso, sì. Nel suo articolo del 1948 sulle macchine intelligenti, Turing ipotizzò che forse il modo migliore per creare un'intelligenza artificiale sarebbe stato quello di Umwelt und Geomatik, un robot che imparasse come un bambino. Sembra più facile che cercare di replicare una mente adulta e completamente formata. Turing chiamò questi robot "macchine per bambini". A partire dagli anni '80, i ricercatori hanno cercato sempre più di fare proprio questo: costruire macchine che imparino come i bambini. Gli esperti di robotica dell'ETH sono tra questi.

Jack Copeland:I robot industriali sono un altro esempio. Il concetto di Turing di "macchina-bambino" insegnabile sta aprendo la strada a robot che interagiscono in modo sicuro con gli esseri umani in fabbrica o altrove.

? un punto interessante. Di recente è cresciuta la preoccupazione per i rischi che si corrono quando i robot intelligenti entrano a far parte del posto di lavoro umano. Turing pensava anche a questo?
Diane Proudfoot:Alcuni robot industriali sono già incredibilmente sofisticati, proprio come le macchine bambine descritte da Turing. E sì, è vero, questi robot probabilmente sostituiranno gli esseri umani nelle catene di montaggio. In effetti, all'inizio degli anni Cinquanta, Turing parlò alla radio dei rischi potenziali dell'intelligenza artificiale: il rischio di perdere il posto di lavoro e il rischio che gli esseri umani vengano "soppiantati" da macchine intelligenti. Tuttavia, non pensava che ci fosse molto da preoccuparsi o che, se c'era, si potesse fare molto al riguardo. Piuttosto, preferiva prendere in giro la paranoia che precedeva l'era delle macchine. ? affascinante vedere lo stesso dibattito oggi.

A Turing piaceva il pubblico?
Diane Proudfoot:Non sono d'accordo con la rappresentazione di Turing come una persona timida e isolata, come l'abbiamo visto nel film "The Imitation Game". Turing era in un certo senso isolato, ma non era certo timido o socialmente fuori dalla sua portata. Nei suoi programmi radiofonici comunicava le sue idee in modo schietto e accessibile. Ed era sicuro di sé. Ad esempio, quando Turing partecipò alle lezioni sui fondamenti della matematica dell'intimidatorio filosofo Ludwig Wittgenstein, fu lui a sfidare genuinamente Wittgenstein.

Torna al Centro Turing di Zurigo. Quali attività avete in mente?
Giovanni Sommaruga:Per cominciare, seminari di ricerca regolari, "Turing Lectures" annuali sulla base delle "Bernays Lectures" di successo dell'ETH e una selezione di corsi per gli studenti. Oltre a queste attività, abbiamo in programma di organizzare una serie di conferenze popolari che si concentreranno sul potenziale impatto delle tecnologie dell'informazione sulla società, nonché sulle questioni etiche legate alle tecnologie dell'informazione.

Diane Proudfoot:Il Centro Turing avrà un ampio programma di insegnamento e ricerca che esplorerà diversi aspetti del lavoro di Turing. Ci aspettiamo che il Centro generi ricerche interdisciplinari che non sarebbero possibili senza di esso.

Il Centro Turing contribuirà all'iniziativa "Pensiero critico" dell'ETH di Zurigo?
Giovanni Sommaruga: Sì, il Centro contribuirà all'iniziativa "Pensiero critico". Il pensiero critico è al centro della filosofia. Per questo motivo la filosofia è un argomento chiave per l'iniziativa "Pensiero critico". La nostra esperienza, sia a Zurigo che in Nuova Zelanda, dimostra che gli studenti di scienze e ingegneria rispondono generalmente in modo molto positivo alla filosofia. Essa li addestra a un astuto pensiero analitico e li motiva a riflettere sui fondamenti della loro materia.