Stephen Cole Kleene , matemático e informático estadounidense (m. 1994)
Stephen Cole Kleene (KLAY-nee; 5 de enero de 1909 - 25 de enero de 1994) fue un matemático estadounidense. Uno de los estudiantes de Alonzo Church, Kleene, junto con Rózsa Péter, Alan Turing, Emil Post y otros, es mejor conocido como uno de los fundadores 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 de las funciones 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.