Stephen Cole Kleene, matemático e cientista da computação americano (m. 1994)
Stephen Cole Kleene (KLAY-nee; 5 de janeiro de 1909 - 25 de janeiro de 1994) foi um matemático americano. Um dos alunos de Alonzo Church, Kleene, juntamente com Rózsa Péter, Alan Turing, Emil Post e outros, é mais conhecido como fundador do ramo da lógica matemática conhecido como teoria da recursão, que posteriormente ajudou a fornecer os fundamentos da teoria teórica. Ciência da Computação. O trabalho de Kleene fundamenta o estudo de funções computáveis. Vários conceitos matemáticos são nomeados em sua homenagem: hierarquia de Kleene, álgebra de Kleene, a estrela de Kleene (fechamento de Kleene), o teorema da recursão de Kleene e o teorema do ponto fixo de Kleene. Ele também inventou expressões regulares em 1951 para descrever as redes neurais McCulloch-Pitts e fez contribuições significativas para os fundamentos do intuicionismo matemático.