Powered by Rock ConvertStephen C. Kleene; Foi Líder em Ciência da Computação
(Crédito da foto: Search UW-Madison Libraries – University of Wisconsin–Madison / REPRODUÇÃO / DIREITOS RESERVADOS)
Stephen Cole Kleene (Hartford, Connecticut, 5 de janeiro de 1909 – Madison, Wisconsin, 25 de janeiro de 1994), era um matemático cujo trabalho ajudou a estabelecer as bases da ciência da computação teórica.
A partir da década de 1940, o professor Kleene (pronuncia-se CLAY-nee) ajudou a estabelecer as bases da ciência da computação teórica. “Seu trabalho era principalmente em lógica matemática”, disse Simon Kochen, professor de matemática da Universidade de Princeton, “mas ele ajudou a estabelecer a conexão entre ciência da computação e lógica”.
Começando uma década antes, o professor Kleene começou um papel seminal na fundação da teoria da recursão, a versão matemática rigorosa da teoria das funções computáveis; a última teoria governa aquelas funções que podem ser calculadas por um computador digital. Ele continuou a desempenhar um papel proeminente no desenvolvimento da teoria da recursão ao longo de sua carreira.
Falando do professor Kleene, H. Jerome Keisler, o Professor Vilas de Matemática em Wisconsin e especialista em lógica matemática, disse: “Uma das razões para a importância da teoria da recursão é que ela nos dá uma maneira de mostrar que alguns problemas matemáticos nunca podem ser resolvidos, não importa quanto poder de computação esteja disponível.”
O professor Kleene nasceu em Hartford, formou-se no Amherst College em 1930 e obteve seu doutorado em matemática em Princeton em 1934. Ele ingressou no corpo docente de Wisconsin em 1935. Ele estava no Institute for Advanced Study em Princeton, Nova Jersey, em 1939-40 e em 1965-66. Ele também serviu como oficial da Marinha na Segunda Guerra Mundial.
Ele foi o professor de matemática Cyrus C. MacDuffee em Wisconsin de 1964 a 1979 e também ocupou vários cargos administrativos na universidade. Ele ganhou a Medalha Nacional de Ciências em 1990 e foi eleito para a Academia Nacional de Ciências em 1969, uma rara honra para um matemático.
Seus escritos incluem os livros “Introduction to Metamathematics”, que foi publicado em 1952 e ainda está sendo impresso, e “Mathematical Logic” (1962). Ele foi co-autor de “The Foundations of Intuitionistic Mathematics” (1965).
A causa foi pneumonia, disse Terry Devitt, porta-voz da Universidade de Wisconsin em Madison, onde o Dr. Kleene esteve na faculdade até sua aposentadoria em 1979.
Ele foi casado com Nancy Elliott em 1942. Ela morreu em 1970.
Powered by Rock Convert
