Alan Tring

Su padre fue Julius trabajaba en el Indian Civil Service. Alan Mathison Turing
naci el 23 de Junio de 1912 en Londres, estuvo al cuidado de sus padres por un
ao cuando posteriormente quedo a cuidado de la familia Ward, amigos de sus
padres que tuvieron que irse de regreso a la India.
Alan estudi en el Instituto Privado de Sherborne ubicado en una pequea villa de
Southamptom. A sus 17 aos el lea a Einstein entendindolo perfectamente y
aunque dentro del Instituto tuvo curiosidades por los inventos y la Qumica,
descuidaba todas sus dems materias que no le interesaban. Dentro del Instituto
tuvo un amigo llama Christopher Morton con el que comparta sus inquietudes
cientficas de: astronoma, matemticas y qumica.
Despus de unos aos, consigui una beca en la Universidad de Cambrige que
era el centro de las matemticas mundiales donde se intereso por los
fundamentos de las matemticas. En 1933 asisti a las conferencias de Born,
Courant, Shrdinger, y Von Neuman que estuvieron de paso tras el ascenso de
Hitler durante la segunda guerra mundial. En su trabajo de graduacin en 1934
demostr a lo que llamo El teorema Central del Lmite que fue de gran
importancia para la estadstica. Un ao despus hace su primer publicacin donde
se inspira en la Teora de grupos de von Neumann, qu posteriormente le pidi a
Alan que pidiera una beca para Princeton en EE.UU.
El teorema de Gdel en 1931 haba dejado claro que si la aritmtica era
consistente, no era completa y contena verdades no deducibles. Turing en su
artculo de 1936 contesto que la aritmtica contiene problemas que no son
solubles mecnicamente.
La Mquina de Turing se compona de un procedimiento efectivo, similar a un
calculador humano, una cinta que se usa como papel inagotable, la cabeza de
lectura/escritura, los estados y las fases del clculo, los pasos elementales del
cmputo, el alfabeto de smbolos finitos y la funcin de control que se modela
como un conjunto finito de tuplas.

Llamo a los nmeros computables a aquellos con los que se pudo construir
la Mquina de Turing, que calculo una tras otras todas las cifras si se le
deja tiempo suficiente.
Para poder representar nmeros reales de infinitas cifras mediante una
descripcin finita.

George Cantor, demostr que haba muchos ms nmeros reales que naturales y
no se pueden poner en correspondencia biunvoca unos con otros (hay reales no

computables). El problema de parada que encontr George dice que no hay una
Mquina de Turing mediante su nmero nico y una configuracin inicial de la
cinta de si se parar la mquina cuando se pare la cinta.
Turing pens que sus mquinas capturaban la nocin de procedimiento de
efectivo, funcin computable, o simplemente un algoritmo. Cada mquina era
especializada en un algoritmo en concreto determinado por su funcin de control.
Pero Alan fue ms all e ideo una mquina universal que era capaz de emular a
cualquier otra: Reciba en su mquina la descripcin de la mquina a emular
convenientemente codificada. La descripcin de la Mquina de Turing Universal
era una mquina programable con el programa de cada mquina almacenado en
memoria.
Max X. Newman considero no obstante que el trabajo de Turing mereca ser
publicado y a la vez le hizo una peticin a Church que le permitiera trabajar junto
con Alan. Alan hizo una tesis doctoral junto a Church, trabajo junto a Von Neuman
y conoci a otros cientficos egresados de Alemania.
En Agosto de 1939, Alan fue reclutado entre otros profesores, como expertos en
criptografa. El problema central fue la mquina enigma, usada por Alemania
desde los aos 20s y de la que existan versiones comerciales. Los matemticos
polacos llevaban 7 aos de ventaja a los britnicos y haban construido unas
mquinas electromagnticas, las bombas que ayudan a descifrar los mensajes del
Enigma.
Mquna Enigma: El emisor tena que teclear un mensaje como en las mquinas
de escribir, la Enigma sustitua cada letra por otra. Cada rotor que tena la funcin
de hacer una sustitucin distinta para segn su cableado y tena 26 posiciones
inciales que era igual a 26 x 26 x 26 = 17,576 configuraciones inciales distintas.
Cada que se pulsaba una tecla, el rotor mas externo avanzaba una posicin y
generaba otra sustitucin, cada 26 avances del rotor se provocaba un avance al
siguiente.
La mquina Enigma tena un panel de conexiones que conectaba ciertas parejas
de letras entre s, lo que daba una sustitucin adicional antes del primer rotor y
otra despus del ltimo. Los rotores eran intercambiables y haba un anillo de
mvil en cada uno de los rotores, su codificacin era simtrica por lo que cada
receptor solo tena que teclear un mensaje encriptado en una Enigma configurada
igual que la emisora y aparece el texto original.
Cuando se hizo el cambio en la Enigma en Septiembre de 1938, sus fichas se
volvieron intiles. Con los nuevos indicadores de 9 letras se encontraron otro tipo
de huellas. Sus bombas exploraban a sus 17,576 configuraciones de los rotores y

se paraban al encontrar la huella buscada. Se tenan 6 bombas por cada

permutacin de los 3 rotores. El mtodo segua dependiendo del uso y no se
trataban el panel de conexiones.
Las bombas: Los Alemanes aumentaron de 3 a 5 el juego de rotores y se crearon
60 variantes de 3 rotores lo que tena que implicar a 60 bombas y por lo cual
aumentaron a 10 conexiones del panel. Turing propuso generalizar las bombas
para que no dependieran de los indicadores ni del panel, su idea era que se
descartaran las combinaciones que entraban en conflicto unas de otras.
Las nuevas bombas se empezaron a construir en 1940 y Turing fue quien diseo
la mayora de los circuitos. De igual forma dirigi la Hut-8 que tena un juego de
8 rotores de 336 variaciones. Diseo bombas ms generales que funcionaban por
probabilidad.
Al cumplir su sueo de contribuir a la creacin y programacin de maquinas
reales, su inquietud se comienza a dirigir a otras inquietudes cientficas que son la
formacin de patrones biolgicos. Alan plantea un sistema de ecuaciones
diferenciales que modelan la interaccin de 2 agentes qumicos y morfogenes que
son un activador y un hbrido. Su trabajo que se muestra en 1952 muestra que
efectivamente esos patrones son soluciones de sus ecuaciones que hasta la fecha
se han identificado precisamente la morfognesis predicha por Turing.
Alan Turing fue sometido a un fuerte tratamiento hormonal al ser juzgado y
condenado a la castracin qumica por su homosexualidad, lo cual le provoco
varias crisis depresivas. El 8 de Junio de 1954 fue encontrado muerto en su cama
envenenado con una manzana que mordi que tena impregnado cianuro.