C.8: Alan Turing
- Page ID
- 103520
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Alan Turing nació en Mailda Vale, Londres, el 23 de junio de 1912. Se le considera el padre de la informática teórica. El interés de Turing por las ciencias físicas y matemáticas comenzó a una edad temprana. No obstante, de niño sus intereses no estaban bien representados en sus escuelas, donde se puso énfasis en la literatura y los clásicos. En consecuencia, le fue mal en la escuela y fue reprendido por muchos de sus maestros.
Turing asistió a King's College, Cambridge como licenciatura, donde estudió matemáticas. En 1936 Turing desarrolló (lo que ahora se llama) la máquina Turing como un intento de definir con precisión la noción de una función computable y demostrar la indecibilidad del problema de decisión. Fue golpeado al resultado por Alonzo Church, quien probó el resultado a través de su propio cálculo lambda. El artículo de Turing todavía se publicó con referencia al resultado de Church. Church invitó a Turing a Princeton, donde pasó 1936-1938, y obtuvo un doctorado bajo la dirección de Church.
A pesar de su interés por la lógica, los intereses anteriores de Turing en las ciencias físicas siguieron prevaleciendo. Sus habilidades prácticas se pusieron a trabajar durante su servicio con el departamento criptanalítico británico en Bletchley Park durante la Segunda Guerra Mundial. Turing fue una figura central en el craqueo del código utilizado por las comunicaciones navales alemanas, el código Enigma. La experiencia de Turing en estadística y criptografía, junto con la introducción de maquinaria electrónica, le dio al equipo la capacidad de descifrar el código mediante la creación de una máquina de desencriptación llamada “bombe”. Sus ideas también ayudaron en la creación de la primera computadora electrónica programable del mundo, el Coloso, también utilizada en el parque Bletchley para romper el código alemán Lorenz.
Turing era gay. No obstante, en 1942 le propuso matrimonio a Joan Clarke, uno de sus compañeros de equipo en Bletchley Park, pero más tarde rompió el compromiso y le confesó que era homosexual. Tuvo varios amantes a lo largo de su vida, aunque los actos homosexuales eran entonces delitos penales en el Reino Unido. En 1952, la casa de Turing fue robada por un amigo de su amante en ese momento, y al presentar un reporte policial, Turing admitió tener una relación homosexual, bajo la impresión de que el gobierno estaba en camino de legalizar los actos homosexuales. Esto no era cierto, y se le acusó de grosera indecencia. En lugar de ir a prisión, Turing optó por un tratamiento hormonal que redujo la libido. Turing fue encontrado muerto el 8 de junio de 1954, de una sobredosis de cianuro, lo más probable es que se haya suicidado. La reina Isabel II le concedió un indulto real en el 2013.
Lectura adicional
Para una biografía completa de Alan Turing, véase Hodges (2014). La vida y obra de Turing inspiraron una obra de teatro, Breaking the Code, que se produjo en 1996 para televisión protagonizada por Derek Jacobi como Turing. El juego de imitación, una película nominada al Oscar protagonizada por Bendict Cumberbatch y Kiera Knightley, también se basa vagamente en la vida y el tiempo de Alan Turing en Bletchley Park (Tyldum, 2014).
Radiolab (2012) tiene varios podcasts sobre la vida y obra de Turing. El documental de BBC Horizon La extraña vida y muerte del Dr. Turing está disponible para ver en línea (Sykes, 1992). (Theelen, 2012) es un video corto de una máquina LEGO Turing en funcionamiento, hecha para honrar el centenario de Turing en 2012.
El papel original de Turing sobre las máquinas Turing y el problema de la decisión es Turing (1937).