Per il Centenario di Alan Turing, fondatore dell'Informatica
22 Novembre 2012
Palazzo Corsini - via della Lungara 10, Roma
PER IL CENTENARIO DI ALAN TURING, FONDATORE DELL'INFORMATICA
Nel 2012 cade il centenario della nascita di Alan Turing, il grande matematico inglese (1912-1954) che intuì e teorizzò le procedure che costituirono i fondamenti della teoria della computazione e consentirono la nascita e lo sviluppo dell'informatica. Il Convegno si propone di celebrare la figura di Alan Turing e cogliere l'occasione per valutare il significato della sua opera nell'evoluzione della computer science e nella realtà contemporanea. Inoltre di portare all'attenzione del pubblico, che sostanzialmente lo ignora, il significato storico della figura di Turing; di tracciare un bilancio dell'informatica teorica dal 1935 ad oggi; di 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.