El lógico y matemático estadounidense Stephen Cole Kleene, nació en Hartford, Connecticut, Estados Unidos, el 5 de enero de 1909. Introdujo la operación clausura de Kleene, denotada por el símbolo V*.
Kleene obtuvo su título de artes en el Amherts College en 1930. Desde ese año hasta 1935 fue un estudiante graduado y asistente investigador en la Universidad de Princeton, donde recibió su doctorado en Matemáticas en 1934, supervisado por Alonzo Church, por una tesis titulada Una teoría de Enteros Positivos en Lógica Formal. En 1935 ingresó en el departamento de matemáticas UW-Madison como instructor. Se convirtió en asistente de profesor en 1937.
Desde 1939 a 1940 fue un visitante escolar en Princeton del Instituto para Estudio Avanzado, donde fundó la teoría de las funciones recursivas, un área de interés que sería investigada por él durante toda su vida. En 1941 regresó a Amherst como profesor asociado de matemáticas. Durante la Segunda Guerra Mundial, Kleene fue capitán de corbeta en la Armada de los Estados Unidos. Además, fue instructor de navegación en la US Naval Reserve’s Midshipmen’s School en New York, y después director de proyecto en el Laboratorio de Investigación Naval de Estados Unidos en Washington D. C.
En 1946 regresó a Wisconsin, convirtiéndose en profesor en 1948. Ahí fue presidente de Matemáticas y Ciencias Computacionales en 1962 y 1963, y decano del Colegio de Letras y Ciencias desde 1969 hasta 1974. En 1964 fue llamado el profesor de Matemáticas “Cyrus C. MacDuffee”.
La investigación de Kleene se dedicó a la teoría de algoritmos y funciones recursivas (es decir, funciones definidas en una secuencia finita de pasos combinatorios). Kleene, junto con Alonzo Church, Kurt Gödel, Alan Turing y otros, desarrollaron el campo de la teoría de la recursividad, que permitió demostrar si ciertas clases de problemas matemáticos tienen solución o no. La teoría de la recursión, a su vez, condujo a la teoría de las funciones computables, que rige aquellas funciones que pueden calcularse mediante una computadora digital. Kleene fue el autor de Introducción a las metamatemáticas (1952) y Lógica matemática (1967).
Condujo varias organizaciones profesionales, sirviendo como presidente de la Asociación de Lógica Simbólica de 1956 a 1958. En 1961 fue presidente de la Internacional Union of the History an the Philosophy of Science.
Stephen Cole Kleene, murió en Madison, Wisconsin, Estados Unidos, el 25 de enero de 1994.
Referencias
- Stephen Cole Kleene. Enciclopedia Británica. https://www.britannica.com/biography/Stephen-Cole-Kleene
- Stephen Kleene. Wikipedia. https://es.wikipedia.org/wiki/Stephen_Kleene