Scritto in occasione del centenario della nascita, questo articolo ripercorre le tappe fondamentali della vita di Alan Turing mettendone in evidenza i contributi principali e il ruolo egemone nella fondazione dell'informatica moderna. Dopo una sezione iniziale che tratteggia la biografia di Turing e i risultati più importanti, presentiamo in maniera approfondita – con un taglio adeguato ad un pubblico con conoscenze matematiche fondamentali ma non specialista in informatica teorica – il risultato forse più importante e più conosciuto tra quelli di Turing: quello pubblicato nel 1937 sulla teoria della computabilità che introduce una classe di automi universalmente noti come “macchine di Turing”. Infine, nella sezione conclusiva, tratteggiamo alcuni aspetti storico/filosofici legati al concetto di computazione e ai suoi limiti intrinseci, mostrando come il contributo di Turing trascenda i limiti della pura speculazione teorica assumendo anche connotati pratici e culturali di portata generale e ancora di grandissima attualità.

Turing: la vita, l’opera, l’impatto

MANDRIOLI, DINO
2012-01-01

Abstract

Scritto in occasione del centenario della nascita, questo articolo ripercorre le tappe fondamentali della vita di Alan Turing mettendone in evidenza i contributi principali e il ruolo egemone nella fondazione dell'informatica moderna. Dopo una sezione iniziale che tratteggia la biografia di Turing e i risultati più importanti, presentiamo in maniera approfondita – con un taglio adeguato ad un pubblico con conoscenze matematiche fondamentali ma non specialista in informatica teorica – il risultato forse più importante e più conosciuto tra quelli di Turing: quello pubblicato nel 1937 sulla teoria della computabilità che introduce una classe di automi universalmente noti come “macchine di Turing”. Infine, nella sezione conclusiva, tratteggiamo alcuni aspetti storico/filosofici legati al concetto di computazione e ai suoi limiti intrinseci, mostrando come il contributo di Turing trascenda i limiti della pura speculazione teorica assumendo anche connotati pratici e culturali di portata generale e ancora di grandissima attualità.
2012
Turing; Macchina di Turing; Computabilità
File in questo prodotto:
File Dimensione Formato  
TuringPublished.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 394.21 kB
Formato Adobe PDF
394.21 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/699328
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact