Stephen Kleene

Stephen Kleene
Nascimento	5 de janeiro de 1909 Hartford
Morte	25 de janeiro de 1994 (85 anos) Madison
Residência	Estados Unidos
Nacionalidade	norte-americano
Alma mater	Universidade de Princeton
Prêmios	Prêmio Leroy P. Steele (1983), Medalha Nacional de Ciências (1990)
Orientador(es)(as)	Alonzo Church
Orientado(a)(s)	Robert Lee Constable, Yiannis Moschovakis, Nels David Nelson, Dick de Jongh[1]
Instituições	Universidade de Wisconsin-Madison
Campo(s)	Matemática

Stephen Cole Kleene (Hartford, 5 de janeiro de 1909 — Madison, 25 de janeiro de 1994) foi um matemático estadunidense.

Um dos estudantes mais notórios de Alonzo Church, Kleene é reconhecido junto com Alan Turing, Emil Post e outros como um fundador da ramificação da lógica matemática conhecida por teoria da computabilidade. Seu trabalho fundamentou o estudo de que funções são computáveis. Diversos conceitos matemáticos têm seu nome, como a hierarquia de Kleene, a álgebra de Kleene, o fecho de Kleene, o teorema da recursão de Kleene e o teorema do ponto fixo de Kleene. Ele também é o inventor das expressões regulares, e foi um líder na defesa do intuicionismo.