Stephen Kleene
De Wikipedia, a enciclopédia livre
Stephen Cole Kleene (Hartford, 5 de janeiro de 1909 — Madison, 25 de janeiro de 1994) foi um matemático estadunidense.
| 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 |
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.