Stephen Cole Kleene

(Hartford, 1909 - Madison, 1994) Lógico y matemático estadounidense. Fue director de los departamentos de matemáticas y de análisis numérico de la Universidad de Wisconsin. Se especializó en el estudio de las funciones recursivas y la teoría de los autómatas. Entre sus numerosas obras destacan Introducción a la matemática (1952) y Lógica matemática (1967).