Stephen Cole Kleene ( / k l eɪ n i / KLAY -nee ; [a] 5 en 1909 a 25 en 1994) fue un matemático . Uno de los estudiantes de Alonzo Church , Kleene, junto con Rózsa Péter , Alan Turing , Emil Post y otros, es mejor conocido como fundador de la rama de la lógica matemática conocida como teoría de la recursión , que posteriormente ayudó a proporcionar los fundamentos de la teoría. ciencias de la computación . El trabajo de Kleene fundamenta el estudio defunciones computables . Varios conceptos matemáticos llevan su nombre: la jerarquía de Kleene, el álgebra de Kleene , la estrella de Kleene (cierre de Kleene), el teorema de recursión de Kleene y el teorema del punto fijo de Kleene . También inventó expresiones regulares en 1951 para describir las redes neuronales de McCulloch-Pitts e hizo contribuciones significativas a los fundamentos del intuicionismo matemático .
Kleene recibió la licenciatura de Amherst College en 1930. Recibió el doctorado. en matemáticas de la Universidad de Princeton en 1934, donde su tesis, titulada A Theory of Positive Integers in Formal Logic , fue supervisada por Alonzo Church . En la década de 1930, realizó un importante trabajo sobre el cálculo lambda de Church . En 1935, se unió al departamento de matemáticas de la Universidad de Wisconsin-Madison , donde pasó casi toda su carrera. Después de dos años como instructor, fue nombrado profesor asistente en 1937.
Mientras era académico invitado en el Instituto de Estudios Avanzados de Princeton, entre 1939 y 1940, sentó las bases de la teoría de la recursión , un área que sería su interés de investigación de por vida. En 1941, regresó a Amherst College, donde pasó un año como profesor asociado de matemáticas.
Durante la Segunda Guerra Mundial , Kleene fue teniente comandante en la Marina de los Estados Unidos . Fue instructor de navegación en la Escuela de Guardiamarinas de la Reserva Naval de los EE. UU. en Nueva York , y luego director de proyectos en el Laboratorio de Investigación Naval en Washington, DC.
En 1946, Kleene regresó a la Universidad de Wisconsin-Madison, convirtiéndose en profesor titular en 1948 y en profesor de matemáticas Cyrus C. MacDuffee en 1964. Se desempeñó dos mandatos como presidente del Departamento de Matemáticas y un mandato como presidente de el Departamento de Análisis Numérico (más tarde rebautizado como Departamento de Ciencias de la Computación). También se desempeñó como Decano de la Facultad de Letras y Ciencias en 1969-1974. Durante sus años en la Universidad de Wisconsin fue asesor de tesis de 13 Ph.D. estudiantes. Se retiró de la Universidad de Wisconsin en 1979. En 1999, la biblioteca de matemáticas de la Universidad de Wisconsin cambió su nombre en su honor. [3]
La enseñanza de Kleene en Wisconsin resultó en tres textos de lógica matemática , Kleene (1952, 1967) y Kleene y Vesley (1965). Los dos primeros se citan a menudo y todavía están impresos. Kleene (1952) escribió pruebas alternativas a los teoremas de incompletitud de Gödel que mejoraron su estatus canónico y los hicieron más fáciles de enseñar y comprender. Kleene y Vesley (1965) es la clásica introducción estadounidense a la lógica intuicionista y las matemáticas matemáticas .