(Londra, 23 giugno 1912 – Wilmslow, 7 giugno 1954)
è stato un matematico, logico e crittografo britannico, considerato uno dei padri dell’informatica e uno dei più grandi matematici del XX secolo.
Biografia di Turing
Macchina di Turing
Test di Turing
The Imitation Game
Alan Mathison Turing è passato alla storia come uno dei pionieri dello studio della logica dei computer e come uno dei primo ad interessarsi all’argomento dell’intelligenza artificiale. Nato il 23 giugno 1912 a Londra ha ispirato i termini ormai d’uso comune nel campo dell’informatica come quelli di “Macchina di Turing” e di “Test di Turing”.
Interessato soltanto alla matematica e alla scienza iniziò la sua carriera come matematico al King’s College alla Cambridge University nel 1931.
Dobbiamo quindi a Morcom moltissimo, se consideriamo che grazie al suo sostegno morale e al suo incitamento, indusse una grande mente come Turing a sviluppare le sue immense potenzialità. Tanto per fare un esempio, Turing arriverà a scoprire, cinque anni prima Gödel, che gli assiomi della matematica non potevano essere completi, un’intuizione che mise in crisi la convinzione che la matematica, in quanto scienza perfettamente razionale, fosse aliena da qualsiasi tipo di critica. Si presentava comunque per Turing un compito veramente arduo: riuscire a provare se ci fosse o meno un modo per determinare se un certo teorema fosse esatto oppure no. Se questo fosse stato possibile, allora tutta la matematica si sarebbe potuta ridurre al semplice calcolo. Turing, secondo le sue abitudini, affrontò questo problema in mondo tutt’altro che convenzionale, riducendo le operazioni matematiche ai loro costituenti fondamentali. Operazioni tanto facili che potevano essere di fatto svolte da una macchina. Trasferitosi alla Princeton University, dunque, il grande matematico iniziò ad esplorare quella che poi verrà definita come la “Macchina di Turing” la quale, in altri termini, non rappresenta altro che un primitivo e primordiale “prototipo” del moderno computer.
L’intuizione geniale di Turing fu quella di “spezzare” l’istruzione da fornire alla macchina in una serie di altre semplici istruzioni, nella convinzione che si potesse sviluppare un algoritmo per ogni problema: un processo non dissimile da quello affrontato dai programmatori odierni. Durante la seconda guerra mondiale Turing mise le sue capacità matematiche al servizio del “Department of Communications” inglese per decifrare i codici usati nelle comunicazioni tedesche, un compito particolarmente difficile in quanto i tedeschi avevano sviluppato un tipo di computer denominato “Enigma” che era capace di generare un codice che mutava costantemente. Durante questo periodo al “Department of Communications”, Turing ed i suoi compagni lavorarono con uno strumento chiamato “Colossus” che decifrava in modo veloce ed efficiente i codici tedeschi creati con “Enigma”. Si trattava, essenzialmente, di un insieme di servomotori e metallo, ma era il primo passo verso il computer digitale. Turing, insomma, era dell’idea che si potesse raggiungere la chimera di un’intelligenza davvero artificiale seguendo gli schemi del cervello umano. A questo proposito, scrisse nel 1950 un articolo in cui descriveva quello che attualmente è conosciuto come il “Test di Turing”. Questo test, una sorta di esperimento mentale, prevede che una persona, chiusa in una stanza e senza avere alcuna conoscenza dell’interlocutore con cui sta parlando, dialoghi sia con un altro essere umano che con una macchina intelligente. Se il soggetto in questione non riuscisse a distinguere l’uno dall’altra, allora si potrebbe dire che la macchina, in qualche modo, è intelligente.
Personalità fortemente tormentata (anche a causa di una omosessualità vissuta con estremo disagio), dalle mille contraddizioni e capace di stranezze e bizzarrie inverosimili, Turing morì suicida, appena quarantenne, il 7 giugno 1954.
A 60 anni dalla morte esce al cinema un film biografico dal titolo “The Imitation Game“, che narra la vita di Alan Turing e di come progetto il sistema per decifrare i codici segreti dei nazisti durante la Seconda Guerra Mondiale.
In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite. In altre parole, è un modello astratto che definisce una macchina in grado di eseguire algoritmi e dotata di un nastro potenzialmente infinito su cui può leggere e/o scrivere dei simboli.
È un potente strumento teorico che viene largamente usato nella teoria della calcolabilità e nello studio della complessità degli algoritmi, in quanto è di notevole aiuto agli studiosi nel comprendere i limiti del calcolo meccanico. La sua importanza è tale che oggi, per definire in modo formalmente preciso la nozione di algoritmo, si tende a ricondurlo alle elaborazioni effettuabili con macchine di Turing.
La MdT come modello di calcolo è stata introdotta nel 1936 da Alan Turing per dare risposta all’Entscheidungsproblem (problema di decisione) proposto da Hilbert nel suo programma di fondazione formalista della matematica.
Il test di Turing è un gioco che consente di misurare se una macchina è in grado o meno di pensare, di farlo autonomamente e di farlo esattamente come un essere umano. È stato introdotto nel 1950 dal matematico Alan Turing, considerato uno dei padri dell’informaticae dell’intelligenza artificiale, nel suo articolo “Calcolatori e intelligenza”.
Nonostante siano passati molti decenni, il principio e la riflessione che stanno alla base del test di Turing sono ancora oggi attuali, anzi lo sono più di prima, visto l’evoluzione della robotica e più in generale dell’intelligenza artificiale.
The Imitation Game è un film del 2014 diretto da Morten Tyldum con protagonista Benedict Cumberbatch nei panni del matematico e crittoanalista Alan Turing, che costruisce una macchina (Macchina di Turing), la quale servirà per decifrare i messaggi tedeschi nella seconda guerra mondiale.
Il trailer del film.
Qua il link del film a scopo illustrativo su altadefinizione.
ALAN TURING 