Stephen Kleene
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.
Nº Q335148 ★
Comum · Personalidades
Stephen Kleene
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.
Na Wikipédia
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.
Texto: Wikipédia, CC BY-SA 4.0. · Imagem: Konrad Jacobs, Erlangen, Copyright is MFO (CC BY-SA 2.0 de) ·
Cartas próximas
-
T
Teorema da recursividade de Kleene
Nº Q1933521 ★
Sem ofertas
-
Hierarquia aritmética
Nº Q669094 ★
Sem ofertas
-
Alan Turing
Matemático, cientista da computação, lógico e criptoanalista britânico (1912–1954)
Nº Q7251 ★★★★★★
Sem ofertas
-
P
Prêmio Cole
Nº Q375668 ★
Sem ofertas
-
Giuseppe Peano
Matemático italiano
Nº Q191029 ★★★★
Sem ofertas
-
Stephen Wolfram
Nº Q310798 ★★★
Sem ofertas