Su Vida

Nació el 5 de Enero de 1909 en Hartfort, EEUU. Kleene se educó en "Amherst College" y consiguió el doctorado por la Universidad de Princeton en 1934 de la mano del profesor Church. Kleene, como su tutor, pasó una vida dedicada a la enseñanza. Tras una breve etapa en Princeton, pasó muchos años en la Universidad de Wisconsin, donde estuvo desde 1935, primero como instructor y luego como profesor, hasta el año 1979.

Participó en la investigación lógica con sus conteporámeos Church, Gödel y Turing, desarrollando importantes avances en el campo de la recursión.

Su muerte se produjo el 25 de Junio de 1994 en Madison, ciudad donde enseñaba.

Su Obra

Como hemos dicho sus estudios más importantes fueron en lo que a recursión se refiere.Junto con sus colegas fueron capaces de demostrar la posibilidad de solucionar algunos problemas y demostraron la irresubilidad de otros. Aportando grandes conclusiones y teorías a la hora de saber la computabilidad de funciones.

Todo ello relacionado al máximo con la teoría de la informática.

Sus dos textos publicados fueron "Introducción a la Metamatemática"(1952) y "Lógica Metamatemática"(1967).