Geodesic
Turing: la vita, l'opera, l'impatto
La Matematica nella società e nella cultura, Série 1, Tome 5 (2012) no. 2, pp. 105-148.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

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à.
Written on the occasion of his birth's 100th anniversary, this article revisits the main steps of Alan Turing's life, and illustrates his fundamental contributions and his preeminent impact in the foundation of modern computer science. After an initial section that outlines Turing's biography and his most important results, we give a detailed presentation tailored to a general public with basic mathematical background but no expertise in theoretical computerscience of what is possibly the most important and best known result of Turing's: his 1937 paper on the theory of computation, which introduces the class of automata known as ``Turing machines''. Finally, in the closing section we offer some historical/philosophical remarks about the notion of computation and its intrinsic limitations; this shows how Turing's contribution goes well beyond the limits of pure theoretical speculation as it carries practical and cultural implications that are general and still markedly relevant to the present time. 
@article{RIUMI_2012_1_5_2_a0,
     author = {Furia, Carlo A. and Mandrioli, Dino},
     title = {Turing: la vita, l'opera, l'impatto},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {105--148},
     publisher = {mathdoc},
     volume = {Ser. 1, 5},
     number = {2},
     year = {2012},
     zbl = {1391.01020},
     mrnumber = {3059947},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2012_1_5_2_a0/}
}
TY  - JOUR
AU  - Furia, Carlo A.
AU  - Mandrioli, Dino
TI  - Turing: la vita, l'opera, l'impatto
JO  - La Matematica nella società e nella cultura
PY  - 2012
SP  - 105
EP  - 148
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2012_1_5_2_a0/
LA  - it
ID  - RIUMI_2012_1_5_2_a0
ER  - 
%0 Journal Article
%A Furia, Carlo A.
%A Mandrioli, Dino
%T Turing: la vita, l'opera, l'impatto
%J La Matematica nella società e nella cultura
%D 2012
%P 105-148
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2012_1_5_2_a0/
%G it
%F RIUMI_2012_1_5_2_a0
Furia, Carlo A.; Mandrioli, Dino. Turing: la vita, l'opera, l'impatto. La Matematica nella società e nella cultura, Série 1, Tome 5 (2012) no. 2, pp. 105-148. http://geodesic.mathdoc.fr/item/RIUMI_2012_1_5_2_a0/

[BG03] Andreas Blass and Yuri Gurevich, Algorithms: A quest for absolute definitions. Bulletin of the EATCS, 81:195-225, 2003. | MR | Zbl

[Chu36] Alonzo Church, A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40-41, 1936. Ristampato in [Dav04].

[Chu56] Alonzo Church, Introduction to Mathematical Logic, Princeton University Press, 1956. | MR | Zbl

[Coo12] S. Barry Cooper, Turing's titanic machine? Commun. ACM, 55(3):74-83, 2012.

[Dav04] MARTIN DAVIS, editor. The Undecidable. Dover Publications, 2004. | MR

[EW03] Eugene Eberbach and Peter Wegner, Beyond Turing machines. Bulletin of the EATCS, 81:279-304, 2003. | MR | Zbl

[For10] Lance Fortnow, Ubiquity symposium `What is computation?': The enduring legacy of the Turing machine. Magazine Ubiquity, Article no. 5, December 2010, ACM.

[Göd31] Kurt Gödel, Über formal unentscheidbare sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38:173-198, 1931. Ristampato tradotto in inglese in [Dav04]. | DOI | MR

[HMU09] John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Automi, linguaggi, e calcolabilità. Pearson, versione italiana a cura di G. Pighizzini, 2009.

[Hod83] Andrew Hodges, Alan Turing: The Enigma. Burnett Books, 1983. Edizione italiana: Bollati Boringhieri, 1991. | MR

[Kan92] Immanuel Kant, Critica del giudizio Laterza, 1997 (data di pubblicazione originaria: 1892).

[Knu69] Donald Knuth, The Art of Computer Programming, Addison Wesley, Vols. 1, 2, 3, 1969-1973. | MR

[Lei85] Gottfried Wilhelm Leibniz. Scritti di Logica. A cura di F. Barone, Laterza, 1992 (data di pubblicazione originaria: 1685). | DOI | MR

[MS11] Dino Mandrioli and Paola Spoletini, Informatica Teorica. Città studi edizioni, 2011. II edizione.

[Mar54] Andrej Markov, The Theory of Algorithms, Transactions of the American Mathematical Society, 2(15): 1-14, 1954. | DOI | MR

[Mat93] Yuri Matiyasevich, Hilbert's 10th Problem, MIT Press, 1993 | MR

[Pea81] Giuseppe Peano, Sul concetto di numero, Rivista di Matematica, 1:87-102 e 256-267, 1981

[Sha38] Claude Shannon, A Symbolic Analysis of Relay and Switching Circuits, Transactions American Institute of Electrical Engineers, 57: 713-723, 1938.

[Sip05] Michael Sipser, Introduction to the Theory of Computation. Course Technology, 2nd edition, 2005. | Zbl

[Soa09] Robert I. Soare, Turing oracle machines, online computing, and three displacements in computability theory. Annals of Pure and Applied Logic, 160:368-399, 2009. | DOI | MR | Zbl

[Tur34] Alan M. Turing, On the Gaussian error function. Manoscritto (dissertazione per la fellowship a Cambridge), 1934.

[Tur37] Alan M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42:230-265, 1937. Ristampato in [Dav04]. | DOI | MR | Zbl

[Tur39] Alan M. Turing, Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 45, 1939. Tesi di Ph.D. presentata a Princeton, ristampato in [Dav04]. | DOI | MR | Zbl

[Tur43] Alan M. Turing, A method for the calculation of the Zeta-function. Proceedings of the London Mathematical Society, 48, 1943. | DOI | MR

[Tur45] Alan M. Turing, Proposed electronic calculator. (Il ``rapporto ACE'' verrà pubblicato da NPL nel 1972), 1945.

[Tur48] Alan M. Turing, Rounding-off errors in matrix processes. Quarterly Journal of Mechanics and Applied Mathematics, 1, 1948. | DOI | MR | Zbl

[Tur50a] Alan M. Turing, Checking a large routine. Technical report, Cambridge Mathematical Laboratory, 1950. Apparso in ``Annals of the History of Computing'', vol. 6, 1984, a cura di F.L. Morris e C.B. Jones. | DOI | MR

[Tur50b] Alan M. Turing, Computing machinery and intelligence. Mind, 59:433-460, 1950. | DOI | MR

[Tur52] Alan M. Turing, The chemical basis of morphogenesis. Philosophical Transactions of the Royal Society (B), 237, 1952. | MR | Zbl

[War12] Kevin Warwick, Not another look at the Turing test! In SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science. Proceedings, volume 7147 of Lecture Notes in Computer Science, pages 130-140. Springer, 2012. | DOI | MR

[WG03] Peter Wegner and Dina Q. Goldin, Computation beyond Turing machines. Commun. ACM, 46(4):100-102, 2003.

[WR09] Alfred North Whitehead and Bertrand Russell, Principia Mathematica. Merchant Book, 2009. (Pubblicazione originaria: Cambridge University Press, 1910, 1912, 1913; seconda edizione 1925, 1927).