Alan Mathison Turing: l'indecidibilità della vita

Il 2012 è stato l'anno dedicato alle celebrazioni per il centenario della nascita del logico e matematico inglese Alan Mathison Turing (23 giugno 1912 - 7 giugno 1954), figura geniale ed eclettica, chiave risolutiva per l'intelligence britannica, ironico ed eccentrico, precorritore dei computer e delle intelligenze artificiali, corridore fulmineo, uomo bizzarro e pieno di stranezze, omosessuale dichiarato perseguitato fino alla morte.
Il presente volume raccoglie i contributi presentati in occasione della giornata di studi Alan Mathison Turing: l'indecidibilità della vita, promossa e organizzata dal Centro Interuniversitario di Ricerca Seminario di Storia della Scienza dell'Università degli Studi di Bari, che ha mirato a ricordare il matematico inglese nella sua totalità, per il suo lavoro e per la sua vita. È stato un momento di riflessione su come i suoi contributi, noti per lo più agli appassionati di informatica, abbiano avuto ripercussioni nel nostro quotidiano. Il risultato è stato un inevitabile e proficuo confronto tra storici della scienza, filosofi, logici, matematici e informatici alla ricerca di un punto d'incontro nelle differenti discipline coinvolte.
La vastità e l'ampiezza delle tematiche affrontate ne hanno restituito un'immagine poliedrica che ha coinvolto argomenti di diversa connotazione, evocativi di questioni di grande impatto sia scientifico che sociale che, proprio per queste motivazioni, hanno imposto un trattamento analitico e rigoroso.
Oggi, a 100 anni dalla nascita, Turing rimane ancora un'equazione irrisolta; vale la pena tuttavia ricordarlo nella sua interezza, per il suo lavoro, per le sue intuizioni, per la sua vita.

Carla Petrocelli è docente di Storia e fondamenti di informatica presso l'Università degli Studi di Bari Aldo Moro. Studiosa di linguistica computazionale e di storia dell'informatica, la sua attività di ricerca si è concentrata in particolare sull'analisi di opere scientifiche del '600 investigate con tecnologie computazionali, e sull'evoluzione dei sistemi di calcolo automatici e dei linguaggi di programmazione ad essi applicati.