You are on page 1of 8

Alan Mathison Turing

, OBE (Paddington, Londres, 23 de junio de 1912 - Wilmslow,


Cheshire, 7 de junio de 1954), fue un matemtico, lgico,
cientfico de la computacin, criptgrafo y filsofo 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;
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 luego 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.[1]

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, [2] que
fue el primer amor de Turing. Morcom muri repentinamente
el 13 de febrero de 1930,[3] 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, volvindose ateo. Adopt la
conviccin de que todos los fenmenos, incluyendo el
funcionamiento del cerebro humano, deben ser
materialistas.[4] Sin embargo sigui creyendo en la
supervivencia del espritu despus de la muerte. [5]
La inclinacin natural de Turing hacia las matemticas 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, llegando a resolver problemas muy avanzados
(para su edad) en 1927 sin ni siquiera haber estudiado
clculo elemental.

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.

Aportes

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

ESTUDIOS SOBRE LAS PRIMERAS COMPUTADORAS Y

TEST DE TURING

El Test de Turing es una prueba que propuso Alan Turing


buscando una manera de demostrar la existencia de
inteligencia 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 el 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
desilusionando. En 1947 se tom un ao sabtico en
Cambrdige tiempo durante el cual produjo el germen sobre
la Inteligencia Artificial que no fue publicada en vida.
Mientras se encontraba en Cambrdige 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 artificial
y propuso un experimento que hoy se conoce como Test de
Turing, con la intencin de definir una prueba estndar por el
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 o una computadora.

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

Bibliografa
Copeland, Jack B. (2004). The Essential Turing. USA: Oxford

University Press. ISBN 0-19-825080-0.


(2013). Alan Turing. El pionero de la era de la

informacin. Espaa: Turner. ISBN 978-84-15832-12-6.


Hodges, Andrew (1986). The Enigma of Intelligence. UK:

Unwin Paperbacks. ISBN 0-04-510060-8.


Lahoz-Beltra, Rafael (2009). Turing. Del primer ordenador a

la inteligencia artificial. Espaa: Nivola.


Sevenster, Arjen; Gandy, R.O., eds. (1992, 2001). Collected

Works of A.M. Turing. en cuatro volmenes: Pure


Mathematics, Mathematical Logic, Mechanical
intelligence, Morphogenesis. Elsevier.
Teuscher, Christof, ed. (2004). Alan Turing: Life and Legacy

of a Great Thinker (en ingls). Springer-Verlag. ISBN 3540-20020-7. OCLC