Alan Turing

Alan
Mathison
Turing
fue
un
matemtico, lgico, cientfico
de
computacin, criptgrafo, filsofo, maratoniano y corredor de ultra distancia britnico.

la

Es considerado uno de los padres de la ciencia de la computacin y precursor de

la informtica moderna. Proporcion una influyente formalizacin de los conceptos
de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy
ampliamente aceptada tesis de Church-Turing (1936).
Durante la segunda guerra mundial, trabaj en descifrar los cdigos nazis, particularmente
los de la mquina Enigma, y durante un tiempo fue el director de la seccin Naval
Enigma de Bletchley Park. Se ha estimado que su trabajo acort la duracin de esa guerra
entre dos y cuatro aos. 7 Tras la guerra, dise uno de los primeros computadores
electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y
poco tiempo despus construy otra de las primeras mquinas en la Universidad de
Mnchester.
En el campo de la inteligencia artificial, es conocido sobre todo por la concepcin del test
de Turing (1950), un criterio segn el cual puede juzgarse la inteligencia de una mquina si
sus respuestas en la prueba son indistinguibles de las de un ser humano.
La carrera de Turing termin sbitamente tras ser procesado por homosexualidad en 1952.
Dos aos despus de su condena, muri segn la versin oficial por suicidio; sin
embargo, su muerte ha dado lugar a otras hiptesis, incluida la del asesinato. El 24 de
diciembre de 2013, la reina Isabel II promulg el edicto por el que se exoner oficialmente
al matemtico, quedando anulados todos los cargos en su contra.8

Biografa
Turing fue concebido en Chatrapur (India britnica). Su padre Julius Mathison Turing era
miembro del cuerpo de funcionarios britnicos en la India. Julius y su esposa Ethel queran
que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde finalmente
naci.

Su infancia
El matemtico britnico pas gran parte de su infancia en la India dado que su padre
trabajaba en la Administracin Colonial del pas. Desde muy pequeo, Turing mostr un
gran inters por la lectura, se cuenta que aprendi a leer por s solo en tres semanas, por
los nmeros y los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael
cuando tena seis aos; su profesora se percat enseguida de la genialidad de Turing. Sus
ansias de conocimiento y experimentacin llegaban hasta tal punto que a los ocho aos,
atrado por la qumica, dise un pequeo laboratorio en su casa. Su carrera escolar
estuvo marcada, por un lado, por sus aptitudes y su facilidad por las matemticas y, por el
otro, por su carcter inconformista que le llevaba a seguir sus propias ideas y apartarse del
rgido (e ilgico, segn su parecer) sistema educativo.
Como curiosidad, cabe decir que Turing recorra alrededor de 90 kilmetros para poder ir a
la escuela, dato que nos hace entender cmo, ms adelante, adems de cientfico, fue un
atleta notable de rango casi olmpico. Con poco ms de quince aos, entr en contacto
con el trabajo de Albert Einstein y, adems de entender sus bases, comprendi sus crticas
a las Leyes de Newton a partir de un texto en el que no se explicitaba tal cometido.

Estudios
En 1926, con catorce aos, ingres en el internado de Sherborne en Dorset. Su primer da
de clase coincidi con una huelga general en Inglaterra, pero su determinacin por asistir a
clase era tan grande que recorri en solitario, con su bicicleta, los ms de 96 kilmetros
que separaban Southampton de su escuela, pasando la noche en una posada. Tal hazaa
fue recogida en la prensa local.
Las esperanzas y las ambiciones de Turing en la escuela fueron moldeadas por la
estrecha amistad que desarroll con un compaero un poco mayor, Christopher
Morcom,9 quien fue el primer amor de Turing. Morcom muri repentinamente, el 13 de
febrero de 1930,10solo unas pocas semanas despus de su ltima temporada en
Sherborne, debido a complicaciones de la tuberculosis bovina, contrada tras beber leche
de alguna vaca infectada. La fe religiosa de Turing se hizo pedazos, y se volvi ateo.
Adopt la conviccin de que todos los fenmenos, incluyendo el funcionamiento del
cerebro humano, deben ser materialistas. 11 Sin embargo sigui creyendo en la
supervivencia del espritu despus de la muerte.12
La inclinacin natural de Turing hacia la matemtica y la ciencia no le atrajo el respeto de
sus profesores de Sherborne, cuyo concepto de educacin haca mayor nfasis en los
clsicos. En la escuela de Sherbone, gan la mayor parte de los premios matemticos que
se otorgaban y, adems, realizaba experimentos qumicos por su cuenta aunque la opinin
del profesorado respecto a la independencia y ambicin de Turing no era demasiado
favorable. A pesar de ello, Turing continu mostrando una singular habilidad para los
estudios que realmente le gustaban, y lleg a resolver problemas muy avanzados para su
edad (15 aos) sin ni siquiera haber estudiado clculoelemental.

La Universidad y sus estudios sobre computabilidad

Debido a su falta de voluntad para esforzarse con la misma intensidad en el estudio de los
clsicos que en el de la ciencia y la matemtica, Turing suspendi sus exmenes finales
varias veces y tuvo que ingresar en la escuela universitaria que eligi en segundo
lugar, King's College, Universidad de Cambridge, en vez de en la que era su primera
eleccin, Trinity. Tras su graduacin, se traslad a la Universidad estadounidense de
Princeton, donde trabaj con el lgico A. Church. Recibi las enseanzas de Godfrey
Harold Hardy, un respetado matemtico que ocup la ctedra Sadleirian en Cambridge, y
que posteriormente, fue responsable de un centro de estudios e investigaciones
matemticas entre 1931 y 1934. En 1935 Turing fue nombrado profesor del King's College.

Solucin al problema de decisin

El Entscheidungsproblem, que se traduce como problema de decisin, fue un reto
en lgica simblica para encontrar un algoritmo general que decidiera si una frmula
de clculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo
Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como
consecuencia, es tambin imposible decidir con un algoritmo general si ciertas frases
concretas de la aritmtica son ciertas o falsas.

Tesis Church-Turing
La tesis de Church-Turing formula hipotticamente la equivalencia entre los conceptos
de funcin computable y mquina de Turing, que expresado en lenguaje corriente vendra
a ser: Todo algoritmo es equivalente a una mquina de Turing. No es en s un teorema
matemtico: es una afirmacin formalmente indemostrable, una hiptesisque, no obstante,
tiene una aceptacin prcticamente universal.
La tesis Church-Turing postula que cualquier modelo computacional existente tiene las
mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de
Turing.

La mquina de Turing
En su memorable estudio "Los nmeros computables, con una aplicacin
al Entscheidungsproblem" (publicado en 1936), Turing reformul los resultados obtenidos
por Kurt Gdel en 1931 sobre los lmites de la demostrabilidad y la computacin,
sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce
comomquina de Turing, unos dispositivos formales y simples. Turing demostr que dicha
mquina era capaz de resolver cualquier problema matemtico que pudiera representarse
mediante un algoritmo. Las mquinas de Turing siguen siendo el objeto central de estudio
en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el
problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la
parada para las mquinas de Turing es irresoluble: no es posible decidir algortmicamente
si una mquina de Turing dada llegar a pararse o no. Aunque su demostracin se public
despus de la demostracin equivalente deAlonzo Church respecto a su clculo lambda, el
estudio de Turing es mucho ms accesible e intuitivo. Tambin fue pionero con su
concepto de mquina universal (de Turing), con la tesis de que dicha mquina podra
realizar las mismas tareas que cualquier otro tipo de mquina. Su estudio tambin
introduce el concepto de nmeros definibles.

Mquinas oracle
La mayor parte de 1937 y 1938 la pas en la Universidad de Princeton, estudiando bajo la
direccin de Alonzo Church. Entre 1938 y 1939 volvi a Inglaterra y estudi filosofa de las
matemticas. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el
concepto de hipercomputacin, en el que ampliaba las mquinas de Turing con las
llamadas mquinas oracle, las cuales permitan el estudio de los problemas para los que
no existe una solucin algortmica.
Tras su regreso a Cambridge en 1939, asisti a las conferencias de Ludwig
Wittgenstein sobre las bases de las matemticas. Ambos discutieron y mantuvieron un
vehemente desencuentro, ya que Turing defenda el formalismo matemtico y Wittgenstein
criticaba que la matemtica estaba sobrevalorada y no descubra ninguna verdad absoluta.

Anlisis criptogrfico (ruptura de cdigos)

Durante la segunda guerra mundial fue uno de los principales artfices de los trabajos
del Bletchley Park para descifrar los cdigos secretos nazis. La Segunda Guerra Mundial
ofreci un insospechado marco de aplicacin prctica de sus teoras, al surgir la necesidad
de descifrar los mensajes codificados que la Marina alemana empleaba para enviar
instrucciones a los submarinos que hostigaban los convoyes de ayuda material enviados
desde Estados Unidos; Turing, al mando de una divisin de la Inteligencia britnica, dise
tanto los procesos como las mquinas que, capaces de efectuar clculos combinatorios
mucho ms rpido que cualquier ser humano, fueron decisivos en la ruptura final del
cdigo. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos
de la mquina Enigma y de los codificadores de teletipos FISH (mquinas de teletipos
codificados que fabricaron conjuntamente Lorenz Electric y Siemens & Halske). Sus
estudios
del
sistema
Fish
ayudaran
al
desarrollo
posterior
de
la
primera computadora programable electrnica digital llamada Colossus, la cual fue
diseada por Max Newman y su equipo, y construida en la Estacin de Investigaciones
Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en 1943. Dicha
computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de
la mquina Lorenz).
Para romper los cdigos de la mquina Enigma y permitir a los aliados anticipar los
ataques y movimientos militares nazis, Turing dise la bombe, una mquina
electromecnica llamada as en reconocimiento de la diseada por los polacos bomba
kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma
candidatas. Para cada combinacin posible se implementaba elctricamente una cadena
de deducciones lgicas. Era posible detectar cundo ocurra una contradiccin y desechar

la combinacin. La bombe de Turing, con una mejora aadida que sugiri el

matemtico Gordon Welchman, era la herramienta principal que usaban los criptgrafos
aliados para leer las transmisiones Enigma.
Los trabajos de ruptura de cdigos de Turing fueron secretos hasta los aos 1970; ni
siquiera sus amigos ms ntimos llegaron a tener constancia.

Estudios sobre las primeras computadoras y el test de

Turing
De 1945 a 1948 Turing vivi en Richmond, Londres, donde trabaj en el Laboratorio
Nacional de Fsica (NPL) en el diseo del ACE(Automatic Computer Engine o Motor de
Computacin Automtica). En 1946 present un estudio que se convertira en el primer
diseo detallado de un computador automtico. El primer borrador del informe sobre
el EDVAC de Von Neumann fue anterior al de Turing, pero mucho menos detallado.
Aunque disear el ACE era factible, el secretismo que reinaba durante la guerra
desemboc en retrasos para iniciar el proyecto por lo que Turing se sinti desilusionado.
En 1947 se tom un ao sabtico en Cambridge, tiempo durante el cual escribi un trabajo
pionero sobre la inteligencia artificial que no fue publicado en vida. Mientras se encontraba
en Cambridge y a pesar de su ausencia, se sigui construyendo el prototipo piloto del
ACE, que ejecut su primer programa en mayo de 1950. Aunque la versin completa del
ACE de Turing jams fue construida, el diseo de otras computadoras en todo el mundo le
debi mucho a su concepcin.
A mediados de 1948 fue nombrado director delegado del laboratorio de computacin de
la Universidad de Mnchester y trabaj en el software de una de las primeras
computadoras reales, la Manchester Mark I. Durante esta etapa tambin realiz estudios
ms abstractos y en su artculo de octubre de 1950 Computing machinery and
intelligence Turing trat el problema de la inteligencia artificial y propuso un experimento
que hoy se conoce como test de Turing, con la intencin de definir una prueba estndar
por la que una mquina podra catalogarse como sensible o sintiente. En el
documento, Turing sugiri que en lugar de construir un programa para simular la mente
adulta, sera mejor producir uno ms simple para simular la mente de un nio y luego
someterlo a educacin. Una forma invertida de la prueba de Turing se usa ampliamente en
Internet, el test CAPTCHA que est diseado para determinar si un usuario es un humano
y no una computadora.

Primer programa de ajedrez por computadora

Entre 1948 y 1950 en conjunto con un antiguo colega, D.G. Champernowne, empez a
escribir un programa de ajedrez para un ordenador que an no exista. En 1952 trat de
implementarlo en el Ferranti Mark 1, pero a falta de potencia el ordenador no fue capaz de
ejecutar el programa. En su lugar Turing jug una partida en la que l simul al ordenador,
tomando alrededor de hora y media en efectuar un movimiento. Una de las partidas lleg a
registrarse; el programa perdi frente a un colega de Turing, Alick Glennie. Su test fue
significativo, caractersticamente provocativo y una gran contribucin para empezar el
debate alrededor de la inteligencia artificial que an hoy contina.

Estudios sobre ciberntica

Trabaj junto a Norbert Wiener en el desarrollo de la ciberntica. Esta rama de estudios se
genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de
las tcnicas de produccin a partir del siglo XX. La ciberntica pretende establecer un
sistema de comunicacin entre el hombre y la mquina como premisa fundamental para
administrar los sistemas de control. Sus estudios profundizaron en esta relacin
estableciendo el concepto de interfaz y cuestionando los lmites de simulacin del
razonamiento humano.

Estudios sobre la formacin de patrones y la biologa

matemtica
Turing trabaj desde 1952 hasta que falleci en 1954 en la biologa matemtica,
concretamente en la morfognesis. Public un trabajo sobre esta materia titulado
Fundamentos qumicos de la morfognesis en 1952. Su principal inters era
comprender la filotaxis de Fibonacci, es decir, la existencia de los nmeros de Fibonacci en
las estructuras vegetales. Utiliz ecuaciones de reaccin-difusin que actualmente son
cruciales en el campo de la formacin de patrones. Sus trabajos posteriores no se
publicaron hasta 1992 en el libro Obras completas de A. M. Turing.
En 2014, cientficos britnicos demostraron que la morfognesis qumica efectivamente
puede explicar cmo clulas que son idnticas pueden diferenciarse. 13

Procesamiento por la homosexualidad y muerte de Turing

La carrera profesional de Turing se vio truncada cuando lo procesaron por
su homosexualidad. En 1952, Arnold Murray, el amante de Turing, ayud a un cmplice a
entrar en la casa de Turing para robarle. Turing acudi a la polica a denunciar el delito.
Durante la investigacin policial, Turing reconoci su homosexualidad, con lo que se le
imputaron los cargos de indecencia grave y perversin sexual (los actos de
homosexualidad eran ilegales en el Reino Unido en esa poca), los mismos que a Oscar
Wilde ms de 50 aos antes.
Convencido de que no tena de qu disculparse, no se defendi de los cargos y fue
condenado. Segn su ampliamente difundido proceso judicial, se le dio la opcin de ir a
prisin o de someterse a castracin qumica mediante un tratamiento hormonal de
reduccin de la libido. Finalmente escogi las inyecciones de estrgenos, que duraron un
ao y le produjeron importantes alteraciones fsicas, como la aparicin de pechos o un
apreciable aumento de peso, que lo condujeron a padecer de disfuncin erctil.
Dos aos despus del juicio, en 1954, falleci por envenenamiento con cianuro,
aparentemente tras comerse una manzana envenenada que no lleg a ingerir
completamente, en un contexto que se estim oficialmente como suicidio.15 16 Varias
personas pensaron que su muerte fue intencionada, aunque su madre intent negar la
causa de su muerte, atribuyndola a una ingestin accidental provocada por la falta de
precauciones de Turing en el almacenamiento de sustancias qumicas de laboratorio. Los
ltimos aos de su vida fueron amargos y reservados. Esta muerte no esclarecida ha dado
lugar a diversas hiptesis incluidas la del asesinato.
El 10 de septiembre de 2009, el primer ministro del Reino Unido, Gordon Brown, emiti un
comunicado declarando sus disculpas en nombre de su gobierno por el trato que recibi
Alan Turing durante sus ltimos aos de vida. Este comunicado fue consecuencia de una
movilizacin pblica solicitando al Gobierno que ofreciera disculpas oficialmente por la
persecucin contra Alan Turing.17 18 Sin embargo, en 2012 el gobierno britnico de David
Cameron deneg el indulto al cientfico,19 aduciendo que la homosexualidad era
considerada entonces un delito.20 Finalmente, el 24 de diciembre de 2013 recibi el indulto
de todo tipo de culpa, por orden de la reina Isabel II.

Biografa Alan Turing

Integrante:

James Roman C.I: 24336682 SIM2B