Está en la página 1de 3

Eudave Valencia Silvia Anglica.

Historia de la Matemtica

ALAN TURING (1912-1954)


Alan Mathison Turing naci el 23 de junio de 1912 en Paddington, Londres. Hijo de
Julius Mathison Turing (alto funcionario del gobierno ingls en la India) y de Ethel
Sara Stoney. Es considerado como el padre de la informtica y uno de los
iniciadores de la inteligencia artificial.
Desde su niez, Alan Turing mostr una gran pasin y aficin por la ciencia
pues, por ejemplo, realizaba sencillos experimentos de qumica. Estudi en el
colegio privado Sherbone School. Durante sus aos de formacin en dicho
colegio, se mostr ms interesado en resolver y encontrar respuestas a las
preguntas que l mismo se planteaba que a los temas tratados por sus profesores,
chocando con el sistema de enseanza de la poca. Gan premios escolares en
matemticas, y lleg a leer las ideas de Einstein sobre la teora de la relatividad y
sobre mecnica cuntica. En 1931, fue admitido como estudiante universitario de
matemticas en el Kings College de la Universidad de Cambrigde. Realiz
lecturas que despertaron en l su inters por la lgica matemtica: ley un trabajo
de John von Neumann sobre fundamentos lgicos de la mecnica cuntica;
tambin ley el libro de Bertrand Russell Introduccin a la filosofa matemtica y
el Principia matemtica de A. N. Whitehead y B. Russell. En 1934, concluy su
licenciatura en matemticas. Al ao siguiente, obtuvo una beca del Kings College
y en 1936 gan el premio Smith por su trabajo en teora de probabilidad titulado
Sobre la funcin de error de Gauss, en dnde redescubra uno de los teoremas
centrales de la estadstica, el teorema central del lmite.
En ese mismo ao, viaj a Estados Unidos para ocupar un puesto en la
Universidad de Princeton. All tuvo la ocasin de trabajar bajo la direccin del
investigador, especialista en lgica, Alonzo Church. Con l, Turing complet su
doctorado trabajando en lgica matemtica y analizando la nocin de intuicin en
matemticas; proponiendo que tal vez la intuicin humana sea posible gracias a
etapas no computables que tengan lugar durante un razonamiento. Durante este
periodo introdujo el concepto de COMPUTACIN ORACULAR, esto es, una forma
de hipercomputacin basada en el diseo de una mquina abstracta, sin
existencia real, llamada ORCULO. Con esta mquina era posible resolver
problemas matemticos de extremada dificultad para otra mquina, tambin
terica e introducida por el propio Turing, y a la que se le conoce como mquina
de Turing, la cual es la propuesta a nivel terico del primer ordenador de la
historia de la ciencia. Esta mquina naci como el resultado de un desafo
matemtico, en dnde Bertrand Russell sostena que la lgica era un slido
soporte para las verdades matemticas. Kurt Gdel, en 1931, haba enunciado,
por el contrario, su teorema de incompletitud, que dice que la intuicin matemtica
no puede ser codificada en un algoritmo, o en un programa computacional, por lo

Eudave Valencia Silvia Anglica.


Historia de la Matemtica

que no es posible crear un algoritmo con el que se pueda demostrar de modo


mecnico, es decir, a travs de un ordenador, la veracidad o falsedad de alguna
afirmacin de ndole matemtico. As, David Hilbert, propuso el desafo de
encontrar un procedimiento mecnico, con el que fuera posible decidir sobre la
veracidad o no de una proposicin matemtica. Turing analiz dicho problema en
un artculo en donde introdujo su mquina y define qu es y no, computable,
dando ideas fundamentales no slo para matemticas sino para la computacin.
Durante la Segunda Guerra Mundial, Turing 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 COLOSSUS1, la cual fue diseada por Max Newman y su equipo, y
construida 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.

Colossus fue la primera mquina programable, electrnica y digital a la que podramos llamar ordenador.

Eudave Valencia Silvia Anglica.


Historia de la Matemtica

Concluida la II Guerra Mundial, Turing abandon Bletchley Park, recibiendo


la invitacin del National Physical Laboratory de Londres para que se encargara
del proyecto de diseo de un ordenador. En 1946, cre el plan piloto Proposal for
Development in the Mathematics Division of an Automatic Computing Engine
(ACE). En dicho plan, se describan las caractersticas y especificaciones de un
ordenador digital electrnico de propsito general (o universal), con una
caracterstica importante: la posibilidad de almacenar un programa en memoria.
Tambin detallaba los circuitos electrnicos, es decir, el hardware del ordenador.
Este ordenador recibi el nombre de ACE, el cual tena una capacidad de
almacenamiento muy similar a la de los primeros ordenadores Macintosh, y fue el
ordenador ms veloz del mundo durante una poca, capaz de funcionar a un
1MHz. El enfoque adoptado por Turing en su ordenador era distinto del que
adoptaran los diseos desarrollados por Estados Unidos. Turing delegaba las
funciones elementales del ordenador haciendo ms hincapi en el software,
mientras que los estadounidenses delegaban esas tareas al hardware.
En 1950, public un trabajo en dnde inclua una prueba, el test de Turing,
con la que nacera una de las disciplinas cientficas del siglo XX: la inteligencia
artificial. Con dicha prueba, planteaba responder a la pregunta de las mquinas
piensan?
Con todo esto, podemos apreciar que Alan Turing fue un gran genio, que
adems fue incomprendido por ser homosexual y orillado a cometer suicidio,
ponindole fin a su vida el 7 de junio de 1954, a los 41 aos de edad.

BIBLIOGRAFA
-Lahoz-Beltr, Rafael, Turing. Del primer ordenador a la inteligencia
artificial, Espaa, Nivola, 2009.
- Leavitt, David, El hombre que saba demasiado: Alan Turing, Espaa,
Antoni Bosch Editor, 2006.