Stephen Kleene

Stephen Cole Kleene fue un lógico y matemático estadounidense, uno de los fundadores de la teoría de la recursión, rama de la lógica matemática que estudia qué funciones pueden calcularse mediante procedimientos mecánicos. Su trabajo, desarrollado en la primera mitad del siglo XX, sentó buena parte de los cimientos de la informática teórica y se sitúa en la tradición de la lógica formal y del intuicionismo.

Nació en Hartford, Connecticut, en 1909, y se licenció en el Amherst College en 1930. Se doctoró en Princeton en 1934 bajo la dirección de Alonzo Church, con una tesis sobre una teoría de los enteros positivos en lógica formal, y trabajó con Church en el cálculo lambda. Desde 1935 hasta su jubilación en 1979 estuvo ligado a la Universidad de Wisconsin-Madison, donde llegó a ser profesor y decano del Colegio de Letras y Ciencias. Durante la Segunda Guerra Mundial sirvió en la Armada estadounidense. En la década de 1930 sentó las bases de la teoría de la recursión, un campo que sería su interés investigador durante toda la vida.

Su obra incluye conceptos que llevan su nombre, como la clausura de Kleene, el teorema de recursión, el teorema del punto fijo y el álgebra de Kleene. En 1951 propuso las expresiones regulares para describir redes neuronales de McCulloch-Pitts, una idea que hoy es básica en la teoría de autómatas y en el tratamiento de textos. En el terreno del intuicionismo, escribió con Vesley una de las introducciones clásicas en lengua inglesa a esta corriente. Sus manuales, en especial el de 1952, ofrecieron demostraciones alternativas de los teoremas de incompletitud de Gödel, más accesibles para la enseñanza.

Su influencia es duradera: la teoría de la recursión dio base a la noción de computabilidad, y su nombre aparece en la lógica, la teoría de lenguajes formales y la informática. Kleene presidió también la Association for Symbolic Logic y la Unión Internacional de Historia y Filosofía de la Ciencia.