Stephen Kleene

|local_nascimento = Hartford |data_morte = |local_morte = Madison |causa_morte = |pais_de_residencia = Estados Unidos |nacionalidade = |etnicidade = |campo = Matemática |instituicao_trabalho = Universidade de Wisconsin-Madison |alma_mater = Universidade de Princeton |tese = |orientador = Alonzo Church |orientado = , , , |conhecido_por = |influenciado = |influencia = |premio = , |conjuge = |religiao = |assinatura = |notas = }} Stephen Cole Kleene (Hartford, — Madison, ) 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. Fornecido pela Wikipedia