Ai lincei giornata di studio su alan turing il padre dell’informatica che ha decrittato i messaggi cifrati tedeschi durante la guerra
Roma, 21 nov. 2012 - La macchina di Turing, che ha consentito di svelare i codici usati nelle comunicazioni segrete di Hitler con i suoi stati maggiori durante la guerra, è alla base dei moderni computer, e si deve al suo ideatore, Alan Turing, la nascita dell’informatica moderna, dell’intelligenza artificiale e la conseguente rivoluzione informatica che ha cambiato il corso della vita materiale, culturale e anche spirituale della società.
Nel centenario della nascita di Turing (I912 – 1954) il Centro Linceo Beniamino Segre dell’Accademia dei Lincei celebra con un convegno il 22 novembre la figura di questo grande matematico inglese.
I nuovi importanti cambiamenti portati dagli sviluppi delle applicazioni dell’informatica saranno discussi nel corso del convegno, che cercherà anche di rispondere alla domanda “E’ vicina l’intelligenza artificiale o il teorema di Goedel e Turing pone un limite invalicabile per sempre?”.
Lo stesso Turing ha ideato un test per valutare l’intelligenza artificiale e finora nessuna macchina realizzata dall’uomo è riuscita a superarlo. Alan Turing, una delle grandi personalità della cultura del Novecento, che ha una visione tutta personale della logica, della matematica e dei rapporti con il mondo, ha dato un contributo originale nell’aver aperto la strada al riconoscimento del non calcolabile, mostrando allo stesso tempo quanto sia ampio il dominio del calcolabile e quanto sia ampio il dominio di ciò che non si può calcolare, dell’indecidibile.
Il Convegno si propone di: valutare il significato dell’opera di Turing nell'evoluzione della computer science e nella realtà contemporanea; portare all'attenzione del pubblico il significato storico della figura di Turing; tracciare un bilancio dell'informatica teorica dal 1935 ad oggi; valutare la comprensione e la coscienza, che ha oggi la società che usa gli strumenti informatici, dell'essenza e dell'importanza dei fondamenti teorici di tali strumenti.
L’incontro scientifico si svolgerà in due sezioni (mattina e pomeriggio) e sarà aperto da una relazione del Direttore del Centro Linceo Tito Orlandi.
La prima sezione dedicata a “La computazione e l'informatica” inizierà con la presentazione di Gabriele Lolli che esporrà le valenze logico matematiche della macchina di Turing; successivamente Angelo R. Meo illustrerà gli sviluppi dei computer dai primordi ad oggi; Giorgio Ausiello parlerà delle connessioni tra l’opera di Turing ed i grandi problemi irrisolti della complessità di calcolo; Carlo Cellucci illustrerà la differenza tra l’approccio di Turing e gli altri approcci alla computabilità.
Nella seconda sezione su “La rivoluzione culturale dell'informatica”, Daniele Mundici racconterà Turing matematico; Luigia Carlucci Aiello discuterà le intuizioni di Turing nel campo dell’intelligenza artificiale; Pino Persiano illustrerà il significato dell’opera di Turing nel campo della crittografia; Dino Buzzetti parlerà dell’impatto della computazione nell’analisi dei testi linguistici; Gino Roncaglia concluderà l’incontro scientifico facendo un quadro della rivoluzione informatica.
Durante il convegno ci sarà una mostra virtuale, con computer e un software che consentirà di analizzare e interagire con una Macchina di Turing.
Alcune relazioni parleranno della crittografia e delle tecniche sviluppate da Turing che sono tuttora usate. A questo proposito si ricorda che la macchina Colossus, basata sui concetti di Turing, costruita in segreto dalla Royal Navy per interpretare i codici nazisti che venivano cambiati ogni giorno, fu distrutta alla fine della guerra e i progetti relativi bruciati per ordine del servizio segreto inglese.
Programma
COMITATO ORGANIZZATORE:
G. AUSIELLO, C. CELLUCCI , P. GALLUZZI, T. ORLANDI
Saluto e introduzione - Tito Orlandi
Prima sezione: La computazione e l'informatica.
Una macchina per la logica - Gabriele Lolli
Sviluppo dell'architettura dei computer - Angelo R. Meo
Turing e il problema del secolo - Giorgio Ausiello
Turing: un approccio bottom-up alla computabilità - Carlo Cellucci
Seconda sezione: La rivoluzione culturale dell'informatica.
Turing matematico, di là dai computer - Daniele Mundici
Il test di Turing e l'intelligenza artificiale - Luigia Carlucci Aiello
Da Turing a oggi: che cosa (non) cambia in crittoanalisi - Pino Persiano
Turing e la elaborazione automatica del testo - Dino Buzzetti
Turing e gli sviluppi della rivoluzione informatica - Gino Roncaglia
Parallelamente al Convegno verrà allestita una mostra virtuale, con computer e un software che consentirà di analizzare e interagire con una Macchina di Turing.
Event date:
Thu, 22/11/2012 - 9:45am
Event venue:
Accademia dei Lincei
Event country:
Italy
Event city:
Rome
Event address:
via della Lungara 10
Event language:
Italian
>
Nessun commento:
Posta un commento