Stephen Kleene
http://pt.dbpedia.org/resource/Stephen_Kleene an entity of type: Thing
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.
Stephen Kleene
xsd:integer
20
Saunders Mac Lane
xsd:integer
1998
Kleene.jpg
inglês
Estadunidense
Stephen Kleene
,
National Academies Press
xsd:integer
200
Stephen Cole Kleene January 5, 1909 — January 25, 1994
,
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.
xsd:nonNegativeInteger
67
Stephen Kleene
xsd:integer
1859642
xsd:nonNegativeInteger
6545
xsd:integer
39275931