Alan Turing

El pionero de la era de la información

Brian Jack Copeland, Cristina Núñez Pereira

• Publisher: Turner
• Year: 2016
• ISBN:
  9788415832737
• Edition: 1
• Topic: Tecnología e ingeniería
• Subtopic: Biografías de ciencia y tecnología

¿Quién fue Turing, y cuáles fueron sus logros durante sus 41 años de vida? Hoy es mejor conocido como el genio que descifraba las comunicaciones secretas de los alemanes durante la Segunda Guerra Mundial. Fue también el padre de la informática moderna: cada vez que hacemos clic para abrir un archivo, estamos poniendo en práctica sus ideas y visiones.Pero fue también un hombre que se preguntaba si a los ordenadores les podrían gustar las fresas con nata, o si serían capaces de componer música. Un genio introvertido, de curioso aspecto y sentido del humor infantil, que sufrió una humillante condena por ser homosexual y acabó su vida envenenado con arsénico (¿se suicidó Alan Turing? ¿Lo asesinaron? El autor tiene sus teorías, y alguna información de primera mano, sobre este tema controvertido). Una obra imprescindible para geeks informáticos, interesados en la tecnología y en la historia de las guerras mundiales.

NOTAS

CAPÍTULO I:
PARA ABRIR, HAGA CLIC, PULSE O TOQUE

1. La madre de Turing, Sara, ofrece un retrato íntimo y a menudo divertido de su hijo en su biografía Alan M. Turing, Cambridge, Heffer, 1959.

2. Donald Michie en una conversación con el autor en octubre de 1995.

3. Michie en una conversación con el autor en octubre de 1995.

4. Robin Gandy, texto mecanografiado, en una nota necrológica sobre Turing (en los Turing Papers, King’s College Library, referencia de catálogo A 6); Newman, L., prólogo a Alan M. Turing, de Sara Turing, p. ix.

5. Sara Turing, Alan M. Turing, pp. 56-58.

6. J. H. Wilkinson en una entrevista con Christopher Evans en 1976 (“The Pioneers of Computing: An Oral History of Computing”, Londres, Science Museum, © junta directiva del Science Museum). Los archiveros del Science Museum de Londres me facilitaron esta entrevista en una cinta de audio en 1995 y yo la transcribí en 1997.

7. Sara Turing, Alan M. Turing, p. 9.

8. Sara Turing, Alan M. Turing, p. 17.

9. Sara Turing, Alan M. Turing, p. 19.

10. Las cartas de Turing a sus padres están entre los documentos de los Turing Papers, King’s College Library (referencia de catálogo K 1). Cuando las fechas no figuran o aparecen incompletas, se ha seguido la datación realizada por Sara Turing.

11. Geoffrey O’Hanlon citado en Sara Turing, Alan M. Turing, p. 39.

12. The Sirburnian, trimestre de verano de 1954.

13. Carta de Turing a sus padres, sin fecha, 1926.

14. “Canon Donald Eperson”, The Times, 25 de mayo de 2001, p. 23.

15. Sara Turing, Alan M. Turing, p. 30.

16. Sara Turing, Alan M. Turing, p. 32.

17. Turing le agradece esto a su madre en su carta fechada el 20 de noviembre de 1929.

18. Carta de Turing a Sara, 31 de enero de 1932.

19. Su beca en el King’s fue renovada en abril; carta de Turing a Sara, el 12 de abril de 1938.

20. Hinsley, F. H. et al. British Intelligence in the Second World War, vol. 2. Londres, Her Majesty’s Stationery Office, 1981, p. 29.

21. Véase el artículo de Turing “Computing Machinery and Intelligence”, capítulo 11 de mi The Essential Turing. Oxford, Oxford University Press, 2004.

22. The Essential Turing, p. 449.

CAPÍTULO II:
LA MÁQUINA UNIVERSAL DE TURING

1. La fecha y el emplazamiento de las conferencias de Newman fueron anunciados en el Cambridge University Reporter, 18 de abril de 1935, p. 826. Wordsworth, “The Prelude”, en Knight, W., ed., The Poetical Works of William Wordsworth. Cirencester, Echo, 2006, vol. 3, libro 3, verso 57.

2. Yorick Smythies asistió al ciclo de conferencias de Newman en 1934 y tomó notas detalladas, que se conservan en la biblioteca del St John’s College. Para más información, véase mi artículo “From the Entscheidungsproblem to the Personal Computer”, en Baaz, M., Papadimitriou, C. H., Scott, D. S., Putnam, H. y Harper, C. L., eds., Kurt Gödel and the Foundations of Mathematics, Cambridge, Cambridge University Press, 2011.

3. Feferman, S. “Gödel’s Life and Work”, en Feferman, S. et al., eds., Kurt Gödel: Collected Works, vol. 1. Oxford, Oxford University Press, 1986.

4. Gödel, K. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”, Monatshefte für Mathematik und Physik, vol. 38, 1931, pp. 173-198. Existe una traducción al inglés en Davis, M., ed., The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Nueva York, Raven, 1965. En español, se puede encontrar Sobre proposiciones formalmente indecibles de los Principa Mathematica y sistemas afines, traducido por Luis Manuel Valdés Villanueva y Alfonso García Suárez, Oviedo, Krk, 2006. Para ser exactos, en 1931, Gödel probó que el sistema de aritmética dispuesto por Bertrand Russell y Alfred Whitehead en su influyente obra Principia Mathematica es coherente, aunque incompleto, en el sentido de que hay afirmaciones verdaderas de la aritmética que no son demostrables dentro del sistema. Utilizando los descubrimientos de Turing, Gödel pudo más tarde generalizar considerablemente su resultado. Los detalles están explicados en mi The Essential Turing, pp. 47-48.

5. Actualmente, esta vía de escape tiene, con todo, sus defensores: véase Mortensen, C. Inconsistent Mathematics, Dordrecht, Holanda, Kluwer, 1995; Priest, G. In Contradiction: A Study of the Transconsistent. Oxford, Oxford University Press, 2006; Sylvan, R., Copeland, B. J. “Computability is Logic-Relative”, en Priest, G., Hyde, D., eds., Sociative Logics and their Applications, Londres, Ashgate, 2000.

6. Hilbert, D. “Mathematical Problems: Lecture Delivered before the International Congress of Mathematicians at Paris in 1900”, Bulletin of the American Mathematical Society, vol. 8, 1902, pp. 437-479 (p. 445).

7. Max Newman en una entrevista con Christopher Evans (“The Pioneers of Computing: An Oral History of Computing”, Londres, Science Museum, © junta directiva del Science Museum). Los archiveros del Science Museum de Londres me facilitaron esta entrevista en una cinta de audio en 1995 y yo la transcribí en 1997.

8. Carta de R. B. Braithwaite a Margaret Boden, 21 de octubre de 1982. Quiero agradecer a Boden que me haya facilitado una copia de esta carta.

9. Newman, M. H. A., “Dr Alan Turing, An Appreciation”, Manchester Guardian, 11 de junio de 1954.

10. Gödel citado en Wang, H., From Mathematics to Philosophy, Nueva York, Humanities Press, 1974, p. 85. Para la evaluación de Gödel de la relevancia matemática de los resultados de Turing, véase mi The Essential Turing, pp. 45, 48.

11. Véase el “Postscriptum” de Gödel en Davis, The Undecidable. (La posdata, fechada en 1964, se refiere al trabajo de Gödel de 1934 “On Undecidable Propositions of Formal Mathematical Systems”).

12. Carta de Turing a Sara, 4 de mayo de 1936.

13. Newman, M. H. A. “Alan Mathison Turing, 1912-1954”, Biographical Memoirs of Fellows of the Royal Society, vol. 1, 1955, pp. 253-263 (p. 256).

14. El famoso problema de la parada de la máquina de Turing no estaba entre estos, a pesar de que en la literatura hay un sinfín de declaraciones que afirman que Turing lo introdujo en “On Computable Numbers”. El problema de la parada se debe a Martin Davis, que lo formuló en su Computability and Unsolvability, Nueva York, McGraw-Hill, 1958, p. 70. Davis piensa que es prob...