LOS PREMIOS TURING HISTORIA DE LOS ALGORITMOS

CURSO 2010/2011

BEATRIZ ROMN ALCAIDE 05312667N

2

NDICE

INTRODUCCIN ............................................................................................ 3

EL PREMIO TURING ........................................................................................ 3

ALAN MATHISON TURING ............................................................................. 4

ALGUNOS GALARDONADOS ....................................................................... 4

BIBLIOGRAFA Y TIEMPO EMPLEADO .......................................................... 7

3

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.

4

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

Turing, 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).

5

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.

6

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.

7

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

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