LOS PREMIOS TURING

HISTORIA DE LOS ALGORITMOS

CURSO 2010/2011

BEATRIZ ROMN ALCAIDE

05312667N

NDICE
INTRODUCCIN ............................................................................................ 3
EL PREMIO TURING ........................................................................................ 3
ALAN MATHISON TURING ............................................................................. 4
ALGUNOS GALARDONADOS ....................................................................... 4
BIBLIOGRAFA Y TIEMPO EMPLEADO .......................................................... 7

1. INTRODUCCIN.
En este primer trabajo he decido abordar el tema de los premios Turing ya que
me parece un tema bastante interesante y aunque me cueste decirlo a pesar de
estar estudiando la ingeniera de informtica nunca haba odo hablar de ellos. Esto
me ha hecho decidirme por este tema aunque en un primer momento no parece
ser el mas sencillo ya que la informacin sobre los premios Turing es bastantes
escasa.
En este trabajo

no solo vamos a hablar de que son los premios Turing, sino

tambin comentaremos algo sobre Alan Turing, matemtico e informtico, que da

nombre a estos premios. Por ultimo hablaremos sobre algunos galardonados
haciendo hincapi sobre los que he considerado mas interesantes y que pueden
tener relacin con las teoras de la computabilidad que se ven en este tema.

2. EL PREMIO TURING.
El premio Turing, nombrado as en homenaje a Alan Turing, es el equivalente , es
el equivalente a un premio nobel para las ciencias de la computacin. Este premio
surge en el ao 1966 y pretende reconocer anualmente las aportaciones mas
importante de carcter tcnico en el campo de la informtica.
En este punto me surge una pregunta, porqu se tuvo que crear un premio
equivalente a los nobel. La razn de que la informtica no tenga premio Nobel, se
debe a que los premios Nobel se instauraron en el ao 1900, justo antes de que la
informtica empezara a desarrollarse.
A los ganadores se les otorga un premio de 250.000 dlares o lo que es lo mismo
175.000 euros aproximadamente y esta patrocinado por las empresas Google e
Intel.
La mayora de los premios Turing son concedidos mucho despus de que se
realice el descubrimiento, cuando ya se conoce la relevancia y utilidad del mismo.
La mayora de sus contribuciones viene del rea de la teora de la computacin,
que permite que podamos hacer cada vez ms cosas con los ordenadores, y del
rea de los compiladores, una de las ramas ms complicadas y que acerca el
lenguaje de la mquina al lenguaje humano.
El premio es otorgado anualmente por la Asociacin para la Maquinaria
Computacional (ACM) a quienes hayan contribuido de manera trascendental al
campo de las ciencias computacionales.

La ACM tiene presencia en mas de 100 pases. Fue fundada en 1947 como la
primera sociedad cientfica y educativa acerca de la Computacin. Publica varias
revistas y peridicos cientficos relacionados con la computacin; patrocina
conferencias en varias areas del campo y otros eventos relacionados con las
ciencias de la computacin.

3. ALAN MATHISON TURING.

Alan Mathison Turing nacido el 23 de junio de 1912 en Londres es considerado el
padre de la informtica y la computacin digital moderna, fue el responsable por la
formalizacin de la idea del computador de propsito general. Adems de
informtico terico, fue matemtico, criptgrafo y filosofo
Su trabajo en la Teora de la computacin, la computabilidad y decidibilidad lo
llev a la creacin del modelo computacional terico conocido como Mquina de
Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de ChurchTuring, la cual postula que cualquier modelo computacional existente tiene las
mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina
de Turing. 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 cuando fue procesado por su
homosexualidad. No se defendi de los cargos y se le dio a escoger entre la
castracin qumica o ir a la crcel. Eligi lo primero y sufri importantes
consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, en
1954, se suicide tomando una manzana con cianuro. El logotipo de Apple, con la
manzana mordida, es un tributo pstumo..

4. ALGUNOS GALARDONADOS.
Entre la lista de galardonados por el premio Turing podemos encontrar treinta y
siete estadounidense, seis ingleses, tres israelitas, dos noruegos, dos canadienses, un
chino, un dans, un letn, un holands, un suizo un venezolano, un griego y un
hind.
Si examinamos, esta lista es tan difcil encontrar alguien que no merezca este
reconocimiento como dar en ella con el nombre de una mujer, aunque
evidentemente hay mujeres que podran estar en esa lista por mritos iguales o
superiores a alguno de los que aparece. En sus 43 aos de historia, el Turing solo se
ha entregado a dos mujeres: Frances E. Allen(2006) y Barbara H. Liskov (2008).

Por otro lado es interesante comentar que mas de las 3 cuartas partes de los
galardonados son americanos, eso posiblemente sea debido a los avances
tecnolgicos que hay en los Estados Unidos, ya que siempre van por delante en
ultimas tecnologas, lo cual favorece las posibilidades de investigacin.
Por ultimo comentar que las reas sobre las que se ha otorgado el Premio Turing
abarcan prcticamente todos los mbitos de la informtica.
A continuacin vamos a comentar en mas detalle algunos de los galardonados.
ALAN PERLIS
Fue el primer galardonado con el premio Turing en 1966, por su influencia en las
reas de tcnicas de programacin avanzadas y construccin de compiladores.
Nacido el 1 de abril de 1922, se especializ en lenguajes de programacin. En
1957 encabez un comit de la Asociacin para la Maquinaria Computacional de
los Estados Unidos con el fin de disear un "lenguaje de programacin universal" que
culmin con la creacin de ALGOL-60, un ancestro del Pascal. Tambin escribi
algunos de los ms destacados textos en materia de programacin del siglo XX.
STEPHEN A. COOK
En 1982 se le otorg el premio Turing por sus aportes en el campo de la
complejidad computacional. Ide los fundamentos de la teora de NP-completitud.
Nacido el 1939 en Nueva York y profesor en la universidad de Toronto, presento
en 1971 el articulo titulado "The Complexity of Theorem Proving Procedures", este
articulo sent los cimientos de la teora de NP-completitud. La exploracin de los
lmites de la clase de complejidad NP-completo ha sido una de las actividades
investigadoras ms activas e importantes en las ciencias de la computacin
durante la ltima dcada.
RICHARD M. KARP
Nacido en Boston el 3 de enero de 1935, se le galardono con el premio Turing en
1985 debido a sus continuas contribuciones a la teora de algoritmos, incluyendo el
desarrollo de algoritmos eficientes para el flujo de redes y otros problemas de
optimizacin combinatoria, la demostracin de equivalencia de la nocin intuitiva
de eficiencia logartmica con la computabilidad en tiempo polinmico y,
principalmente, sus contribuciones a la teora de NP-completitud.

FRANCES E. ALLEN
Despus de 40 aos desde que se creasen los premios Turing, en 2006 se le
concedi el premio Turing pro primera vez a una mujer, Frances E. Allen.
A F. Allen, nacida en 1932, fue tambin la primera mujer en recibir el titulo IBM
Fellow, se le concedi el premio Turing por su contribucin a mejorar
fundamentalmente el rendimiento de los programas de computador y acelerar el
uso de sistemas de computacin de alto rendimiento.
Es una pionera en el campo de la optimizacin de compiladores. Algunos de sus
logros consisten en trabajos originales sobre compiladores, optimizacin de cdigo
y paralelizacin.
En una entrevista afirmo que la mujeres se interesarn por las la computacin
"cuando empiece a ser ms relevante socialmente", puesto que actualmente
acceden a mbitos como la medicina y la biologa. As justific la que en 2006
recibi el equivalente del Nobel en el campo de las Ciencias de la Computacin la
escasa presencia de la mujer en este rea, aunque asegur "tener esperanza" de
que la situacin "cambiar en el futuro, cuando se d una mayor flexibilizacin en
los horarios y las condiciones".
LESLIE VALIANT
Ultimo galardonado con el premio Turing en 2010, Por sus transformadoras
contribuciones a la teora de la computacin, incluyendo la teora del aprendizaje
probable, aproximadamente correcto, la complejidad de la enumeracin y de la
computacin algebraica, y teoras de la computacin paralela y distribuida.
Leslie Valiant nacido en 28 de marzo de 1949, es mas conocido por ser uno de los
profesores de la Universidad de Harvard, creadores de una supercomputadora
capaz de ganar un juego de Jeopardy!, concurso televisivo que consiste en
obtener una respuesta mediante pistas, en formato respuesta y pregunta, sobre
historia, literatura, ciencia, cultura popular, etc.

5. BIBLIOGRAFA Y TIEMPO EMPLEADO.

[1] http://sociedadporelprogreso.blogspot.com/2010/01/el-premio-turing.html
[2] http://enciclopedia.us.es/index.php/Alan_Turing
[3] http://es.wikipedia.org/wiki/Asociacin_para_la_Maquinaria_Computacional
[4] http://es.wikipedia.org/wiki/Premio_Turing
[5]http://www.pensamientoscomputables.com/entrada/nobel-informaticaciencias-computacion-premio-turing.html
[6] http://www.lukor.com/ciencia/noticias/portada/08102934.htm
El tiempo empleado para la realizacin de este trabajo ha sido de
aproximadamente unas 7 horas, aunque no ha habido mas remedio que usar la
Wikipedia en ciertos momentos, se ha intentado buscar informacin interesante en
algunos artculos relacionados con los premios Turing.