Page 23 - 06 Turing

Universidad de Cambridge. Fue una época de éxitos, en los que
Turing dejó entrever algunos destellos de su genialidad. En 1936
ganó el premio Smith - otorgado por la Universidad de Cam-
bridge a jóvenes investigadores en física teórica, matemáticas o
matemática aplicada- por su trabajo en teoría de probabilidad,
titulado «On the gaussian error function» ( «Sobre la función de
error gaussiana» ), que nunca fue publicado. Curiosamente en ese
trabajo de investigación redescubrió el famoso «teorema central
del límite», uno de los teoremas más importantes de la estadística.
Ese mismo año escribió un artículo científico decisivo, titulado
«On computable numbers with an application to the Entschei-
dungsproblem» («Sobre los números computables con una aplica-
ción al Entscheidungsproblem» ), en el que hará una de las aporta-
ciones científicas más importantes de su vida: la máquina de Tu-
ring. Con el trabajo realizado tras su graduación el futuro acadé-
mico de Turing estaba asegurado, los primeros pasos de una bri-
llante carrera ya estaban dados.
En la primavera de 1935 Turing había asistido a un curso en
el campus de la Universidad de Cambridge, donde, recordemos,
trabajó como becario. El curso fue impartido por Max Newman
(1897-1984), un insigne topólogo de la época con el que Turing
trabó una duradera y franca amistad. La topología es una especia-
lidad de las matemáticas que estudia las propiedades de los obje-
tos que se conservan cuando los transformamos de manera conti-
nua. Desde entonces la amistad entre Newman y Turing se man-
tuvo firme durante toda su vida, siendo especialmente beneficiosa
para su trayectoria científica. Max Newman coincidió con Alan
Turing en varios episodios de su vida, como por ejemplo, durante
la Segunda Guerra Mundial en Bletchley Park en la tarea de desci-
frar los mensajes interceptados a los alemanes, o tiempo después,
en la Universidad de Manchester, donde escribieron programas
para Baby, uno de los primeros ordenadores construidos tras la
contienda.
En Cambridge, Turing tuvo la ocasión de participar en uno de
los capítulos más fascinantes de la matemática. El filósofo y ma-
temático británico Bertrand Russell sostenía que la lógica era un
sólido soporte para las verdades matemáticas. Esta idea era pre-

WUÉ ES UN ORDENADOR? 23