Alan Turing

Alan Mathison Turing

Estatua del autor y su retrato de fondo

Nacimiento

23 de junio de 1912
Paddington, Londres

Fallecimiento

7 de junio de 1954
41 aos
Cheshire, Reino Unido

Residencia

Wilmslow, Cheshire
Inglaterra

Nacionalidad

ingls

Campo

matemtico, lgico,criptgrafo, informtico terico

Instituciones

U. de Mnchester
Lab. Nac. Fsica
Cambridge

Alma mter

Cambridge
Princeton

Supervisor doctoral

Alonzo Church

Tesis

Systems of Logic based on Ordinals (1938)

Estudiantes

Robin Gandy1

destacados

Conocido por

Problema de la parada
Mquina de Turing
Descifrar a Enigma
Test de Turing

Sociedades

Orden Imperio Britnico

Royal Society

Alan
Mathison
Turing, OBE (Paddington, Londres, 23
de
junio de 1912 - Wilmslow, Cheshire, 7
de
junio de 1954),
fue
unmatemtico, lgico, cientfico de la computacin, criptgrafo, filsofo, y
maratonista y corredor de ultra distancia britnico.
Es considerado uno de los padres de la ciencia de la computacin siendo el
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.
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 del Bletchley Park. 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.
Entre otras muchas cosas, tambin contribuy de forma particular e incluso
provocativa al enigma de si las mquinas pueden pensar, es decir, a la inteligencia
artificial.
La carrera de Turing termin sbitamente despus de ser procesado por
ser homosexual. Turing se suicid dos aos despus de su condena.
El 24 de diciembre de 2013, la reina Isabel II de Inglaterra promulg el edicto por
el que se exoner oficialmente al matemtico, quedando anulados todos los
cargos en su contra.2

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[editar]
Durante su infancia sus padres viajaban constantemente entre el Reino Unido y la
India ya que su padre an deba cubrir su puesto de funcionario en la India, por lo
que sus dos hijos eran cuidados por amigos ingleses de sus padres para evitar
poner en peligro su salud en la colonia britnica.
Turing dio muestras ya desde una edad muy temprana del ingenio que ms tarde
mostrara prominentemente. Se cuenta que aprendi a leer por s solo en tres
semanas y que desde el principio mostr un gran inters por los nmeros y
los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael cuando
tena seis aos. Su profesora se percat en seguida de la genialidad de Turing, tal
como ocurri a sus profesores posteriores.

Estudios

Alan Turing a los 16 aos de edad.

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 en su primer da era tan grande que recorri en
solitario con su bicicleta las ms de 60 millas 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 plantadas por la
estrecha amistad que desarroll con un compaero un poco mayor, Christopher
Morcom,3 que fue el primer amor de Turing. Morcom muri repentinamente el 13
de febrero de 1930,4 slo unas pocas semanas despus de su ltima temporada
en Sherborne, debido a complicaciones de la tuberculosis bovina, contrada tras

beber la 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. 5 Sin embargo sigui
creyendo en la supervivencia del espritu despus de la muerte. 6
La inclinacin natural de Turing hacia la matemtica y la ciencia no le forj el
respeto de sus profesores de Sherborne, cuyo concepto de educacin haca
mayor nfasis en los clsicos. Pero 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) en 1927 sin ni siquiera haber
estudiado clculoelemental.
En 1928, con diecisis aos, Turing descubri los trabajos de Albert Einstein y no
slo pudo comprenderlos, sino que adems infiri las crticas de Einstein a
las Leyes de Newton de la lectura de un texto en el que no estaban explcitas.
Durante su edad escolar, Turing fue un joven cuyo optimismo y ambiciones se
vieron acrecentados debido en gran parte a su intensa unin con su amigo
Christopher Morcom, cuya muerte, an joven, afectara a Turing profundamente.

La Universidad y sus estudios sobre computabilidad

El King's College de Cambridge, donde estudi en 1931 y se convirti en miembro

en 1935. Su sala de computacin lleva actualmente su nombre.
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. 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 de 1931 a 1934. En 1935 Turing fue nombrado
profesor del King's College.

Solucin al problema de decisin

Artculo principal: Entscheidungsproblem
El Entscheidungsproblem, que se traduce como problema de decisin, fue un reto
en lgica simblica de encontrar un algoritmo general que decidiera si una frmula
del 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
Artculo principal: Tesis de 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 hiptesis que, 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[editar]
Artculo principal: 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 como mquina de Turing, unos dispositivos formales y simples.
Turing demostr que dicha mquina era capaz de implementar 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 de Alonzo
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
Artculo principal: Mquina oracle
La mayor parte de 1937 y 1938 la pas en la Universidad de Princeton, estudiando
bajo la direccin de Alonzo Church. 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)

El Bombe replicaba la accin de varias mquinas Enigma.

Durante la Segunda Guerra Mundial fue uno de los principales artfices de los
trabajos del Bletchley Park para descifrar los cdigos secretos nazis. Sus
perspicaces observaciones matemticas contribuyeron a romper los cdigos de
la mquina Enigma y de loscodificadores 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 llamadaColossus, 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 han sido 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
Artculo principal: Test de Turing

El test de Turing es una prueba que propuso Alan Turing buscando una manera de
demostrar la existencia deinteligencia en una mquina.
De 1945 a 1948 Turing vivi en Richmond, Londres donde trabaj en el
NPL Laboratorio Nacional de Fsica en el diseo del ACE (Motor de Computacin
Automtica Automatic Computer Engine). En 1946 present un estudio que
se convertira en el primer diseo detallado de un computador automtico. El
primer borrador del reporte 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 produjo el germen sobre la

Inteligencia Artificial que no fue publicada en vida. Mientras se encontraba en

Cambridge el piloto del ACE estaba siendo construido a pesar de su ausencia.
ACE ejecut su primer programa informtico en mayo de 1950. Aunque la versin
completa de la ACE de Turing jams fue construida, un gran nmero de
computadoras alrededor del mundo le debe muchsimo a sta.
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 "Mquinas de
computacin e inteligencia" (octubre de 1950) Turing trat el problema de
la inteligencia artificialy 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

Artculo principal: 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

Artculo principal: 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
matemtica

la

formacin

de

patrones

la

biologa

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.7

Procesamiento por su 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, Turing falleci debido a la ingestin de una manzana contaminada
con cianuro en un contexto que indica un posible suicidio. 8 9

Estatua de Alan M. Turing enWhitworth Gardens, Mnchester,Reino Unido.

En una carta de esta poca a su amigo Norman Routledge, Turing escribi en
forma de falso silogismo una reflexin, relacionando el rechazo social que provoca
la homosexualidad con el desafo intelectual que supone demostrar la posibilidad
de inteligencia en los ordenadores. En particular, le preocupaba que los ataques a
su persona pudieran oscurecer sus razonamientos sobre la inteligencia artificial: 10

Turing cree que las mquinas piensan

Turing yace con hombres

Luego las mquinas no piensan

Dos aos despus del juicio, en 1954, muri por envenenamiento con cianuro,
aparentemente tras comerse una manzana envenenada que no lleg a ingerir
completamente. La mayora piensa que su muerte fue intencionada y oficialmente
se le consider como un suicidio. Sin embargo 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 incluida la del
asesinato.10
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 pidiera

disculpas oficialmente por la persecucin contra Alan Turing. 11 12 Sin embargo, en

el ao 2012 el gobierno britnico de Cameron deneg el indulto al
cientfico,13 aduciendo que la homosexualidad era considerada entonces un delito
penal.14 Finalmente, el 24 de diciembre de 2013 recibi el indulto de todo tipo de
culpa, por orden de la Reina Isabel II. 2

Reconocimiento pstumo

Placa conmemorativa en la antigua casa de Turing.

Estatua de Turing en la Universidad de Surrey.

El 23 de junio de 2001 se inaugur una estatua de Turing en Mnchester. Se
encuentra en Sackville Park, entre el edificio de la Universidad de Mnchester en
la calle de Whitworth y la gay village de la calle del Canal. Coincidiendo con el 50
aniversario de su muerte, se descubri una placa conmemorativa en su antiguo
domicilio, Hollymeade, en Wilmslow el 7 de junio de 2004.

La Association for Computing Machinery otorga anualmente el Premio Turing a

personas destacadas por sus contribuciones tcnicas al mundo de la computacin.
Este premio est ampliamente considerado como el equivalente del Premio
Nobel en el mundo de la computacin.
El Instituto Alan Turing fue inaugurado por el UMIST (Instituto de Ciencia y
Tecnologa de la Universidad de Mnchester) y la Universidad de Mnchester en el
verano de 2004.
El 5 de junio de 2004 se celebr un acontecimiento conmemorativo de la vida y la
obra de Turing en la Universidad de Mnchester, organizado por el "British Logic
Colloquium" y la "British Society for the History of Mathematics".
El 28 de octubre de 2004 se descubri una estatua de bronce de Alan Turing
esculpida por John W. Mills en la Universidad de Surrey. La estatua conmemora el
50 aniversario de la muerte de Turing. Representa a Turing transportando sus
libros a travs del campus.15
El 23 de junio de 2012, da en el que se conmemora la fecha de nacimiento de
Turing (100 aos atrs) Google present entre sus habituales doodles una
pequea mquina
de
Turing capaz
de
comparar
dos cadenas
de
caracteres binarios.

Howard Hathaway Aiken (1900 - 1973)

Naci en Nueva Jersey (EE.UU), se cri en

Indianpolis, donde estudi el Arsenal Technical
School, gradundose en 1919. Tras ello estudi en
la universidad de Wisconsin, en donde se
espcecializ en electrnica. Mientras estudiaba
estuvo trabajando como ingeniero operario en la
Madison Gas and Electric Company desde 1919 a
1923. Se gradu como ingeniero electrnico en
1923.
Tras esto trabaj en la Westinghouse Electric Manufacturing Company, mientras se
preparaba para su postgraduado en la universidad de Harvard, donde obtuvo su M.A
en 1937 y el Ph.D en en fsica en 1939. Aiken permaneci en Harvard para ensear
matemticas, primero como instructor de facultad (de 1939 a 1941), y despus como
profesor asociado.
En 1937, antes de la guerra, Aiken present el proyecto de construccin de una
computadora, para el que obtuvo el apoyo de IBM. As naci la MARK I (o IBM
ASCC), termindada en 1944 con un coste de 250000$. Inmediatamente finalizada la
marina de los EE.UU requis tanto a la mquina como a su inventor para usarlos
durante la Segunda Guerra Mundial, Aiken alcanz el grado de Comandandte, y la
MARK I se us para el clculo de las tablas navales de Artillera.
Para el diseo de la MARK I, Aiken estudi los trabajos deCharles Babbage, y
pens en el proyecto de la MARK I como si fuera la terminacin del trabajo de
Babbage que no concluy, la mquina analtica, con la que la MARK I tena mucho
en comn.
Adems de la MARK I, Aiken construy ms computadoras: MARK II (1947),
MARK III y MARK IV (1952).
Tras la guerra, en 1946, Aiken volvi a Harvard como profesor de matemticas.
Adems, fue nombrado director de los nuevos laboratorios de informtica de la
universidad en 1947, Aiken cont con la colaboracin de Grace Hooper, encargada
de la programacin de la MARK I.
En 1964, Aiken recibi el premio Memorial Harry M. Goode, de la Computer
Society, por su contribucin al desarrollo de las computadoras automticas, y por la
construccin de la MARK I.

Alan Turing
Alan Turing fue un brillante matemtico, criptoanalista e informtico terico nacido el
veintitrs de Junio de 1912 en Maida Vale un distrito residencial al oeste de Londres.
Turing, ademas de ser un brillante cientfico era homosexual, lo cual le cost la vida el
siete de junio de 1954.
Turing es mundialmente conocido por cuatro hechos:

Formaliz los conceptos de algoritmo y computacin con su mquina de Turing

Es considerado el padre de la inteligencia artificial

Su participacin en el equipo de criptoanlisis de la mquina de criptografa

alemana Enigma fueclave

Fue una vctima ms de la mentalidad reaccionaria puritana del mundo anglosajon

El Gobierno Britnico hizo una disculpa pblica a ttulo pstumo a travs de Gordon
Brown el diez de Septiembre del 2009 por haber procesado y perseguido a Alan Turing
por ser homosexual. Es cuanto menos paradjico que Turing fuera procesado y
perseguido a causa de su homosexualidad por un Gobierno que calificaba
de monstruosos los actos del nazismo por procesar y perseguir a individuos por su credo
religioso.

La Mquina de Turing
Una mquina de Turing, es un dispositivo terico que manipula smbolos sobre una cinta
de acuerdo con una tabla de reglas definida. Este modelo computacional puede ser
adaptado para simular la lgica de cualquier algoritmo y es particularmente til en la labor
de explicar el funcionamiento de unaCPU.
La mquina de Turing fue descrita por Alan Turing en 1936 como respuesta al ensayo del
matemtico alemn David Hilbert On Computable Numbers, with an Application to the
Entscheidungsproblem donde demostr que algunas de estas mquinas de Turing seran
capaces de realizar cualquier clculo matemtico concebible si fuera representable con un
algoritmo. Tambin prob que no existe solucin al Entscheidungsproblem (problema de
decisin) ya que demuestra que no es posible decidir, en general, algortmicamente si una
mquina de Turing se encuentra en parada.

Descripcin
La mquina de Turing, modela de forma matemtica una mquina que opera sobre una
cinta. En esta cinta hay smbolos que la mquina puede escribir o leer, uno a la vez. Las
operaciones que la mquina puede realizar estn determinadas por un conjunto finito de
instrucciones elementales como si el estado es 6 y el valor es 0 escribe 1 y pasa al
estado 27.
Una mquina de Turing consta de las siguientes partes:

Una cinta que est dividida en celdas una al lado de la otra. Cada celda contiene
un smbolo en algn alfabeto finito. Dicho alfabeto contiene un smbolo especial en
blanco (blank symbol escrito como B) y uno o ms smbolos adicionales. La cinta se
supone infinita.

Una cabeza que puede leer y escribir smbolos en la cinta y mover la cinta a la
izquierda o a la derecha una posicin.

Una tabla de reglas finita de instrucciones, usualmente tuplas de cinco elementos

que dado el estado (qi) en el que se encuentra actualmente la mquina y el smbolo
(aj) que est siendo ledo desde la cinta, indica a la mquina que realice la siguiente
secuencia de acciones:

Escribe o borra un smbolo

Mueve la cabeza (a la izquierda o la derecha)

Asume el mismo o un nuevo estado segn lo prescrito

Un registro de estados donde se guarda el estado de la mquina de Turing.

Mquina de Turing Universal

Turing defini que es posible desarrollar una nica mquina que pueda ser usada para
computar cualquier secuencia computable. Si esta mquina U es suministrada con una
cinta que en su comienzo est escrita con tuplas quntuples separadas por punto y coma
provenientes de una mquina M, entonces U computar las mismas secuencias que M.
Este modelo de computacin supone el avance terico fundamental que condujo a la
nocin de programa de computadora almacenado.

Participacin en la lucha contra Enigma

La Enigma fue una mquina electro mecnica con rotor usada para enviar mensajes
cifrados por la Alemania nazi durante la Segunda Guerra Mundial. Alan Turing particip
activamente en el desarrollo de dispositivos de anlisis criptogrfico as como aportando
muchas de las ideas que llevaron alposterior xito en la ruptura del algoritmo de cifrado
que utilizaba la mquina y que supuso un gran avance en la victoria de los aliados en la
contienda.
Turing especific un mecanismo electro mecnico que ayudaba en la misin de romper el
algoritmo de la mquina Enigma ms rpido que bomba que era el dispositivo de
facturacin polaca que se estaba usando hasta la fecha. Al nuevo dispositivo se le
llam bombe al ser construida sobre el diseo original polaco.
Bombe mejorado con sugerencias realizadas por el matemtico Gordon Welchman, se
convirti en una de las principales herramientas automatizadas en la lucha contra el
trfico de mensajes protegidos con Enigma por la Alemania nazi.
Turing decidi tomar parte en resolver el problema con la Enigma naval Alemana porque y
segn sus palabras porque nadie ms est haciendo nada al respecto as que tendr
que hacerlo yo mismo. En diciembre de 1939, Turing ya haba resuelto la parte
esencial del sistema de indicadores que era ms complejo que el utilizado por otros
servicios de la Alemania nazi.

El Test de Turing
En 1950, Turing abord el problema de la inteligencia artificial y propuso el experimento
que hoy se conoce como el test de Turing cuya intencin era intentar definir un estndar
por el cual se pudiera conocer si una mquina poda ser llamada inteligente.
La idea consista en que se puede llegar a decir que una computadora piensa si un
interrogador humano no pudiera distinguir a travs de una conversacin, si estuviera

conversando con un ser humano o con una mquina. Turing propuso que en lugar de
simular una mente artificial adulta, era mejor simular una mente infantil para someterla
ms tarde a un proceso de aprendizaje.

Procesamiento

por

indecencia

(homosexualidad)
En enero de 1952, Turing conoci a Arnold Murray a la salida de una sala de cine.
Despus de una cita para comer, Turing invit a Murray a pasar un fin de semana en su
casa, invitacin que Murray acept a pesar de que no se present. Se reunieron
nuevamente en Manchester el lunes siguiente, en esa ocasin, Murray acept acompaar
a Turing a su casa.
Unas semanas ms tarde, Murray visit la casa de Turing de nuevo, y parece ser que
pasaron la noche juntos. Ms tarde, Murray ayudado por un cmplice entraron en casa de
Turing, el cual denunci el hecho a las autoridades. Durante la investigacin, Turing
reconoci haber mantenido una relacin sexual con Murray. Los actos homosexuales eran
ilegales en Reino Unido en 1952 y por tanto fue acusado de indecencia grave en virtud
del artculo 11 del Cdigo Penal que fue el mismo delito por el que fue condenado Oscar
Wilde cincuenta aos atrs.
Se le dio la opcin de entrar en prisin o la libertad condicional bajo acuerdo de
someterse a un tratamiento hormonal de castracin qumica a base de estrgenos. El la
acept, el tratamiento le produjo desastrosos efectos secundarios como aparicin de
pechos y obesidad. Se le retir su permiso de seguridad y se le prohibi seguir con sus
labores de consultora de cifrado. No se le revoc el pasaporte britnico pero Estados
Unidos le neg la entrada en su territorio.

Muerte
El 8 de junio de 1954, Turing fue encontrado muerto por su personal de limpieza. Un
examen post-morten estableci que la causa de la muerte fue envenenamiento por
cianuro ingerida al parecer al comer parte de una manzana baada en esa sustancia que
adems se encontraba en la mesita al lado de su cama.

Conclusin
Desde 1966 se viene entregando de forma anual el premio Alan Turing por la Association
for Computing Machinery a una persona en reconocimiento a su contribucin tcnica a la

ciencia de la computacin y a la Comunidad. Este premio est considerado como el

mayor honor en el mundo de la computacin, comparable al premio Nobel.
Alan Turing fue otro genio vctima de la irracionalidad y la moralina caduca. Muri a la
edad de 41 aos, a pocos das de cumplir 42, si la vida de Turing no hubiese terminado de
forma abrupta y violenta, seguramente otros muchos avances hubieran llegado de su
mano, avances que nunca sabremos si han sido conseguidos o no.