Stephen Kleene: diferenças entre revisões

|data_nascimento ={{dni|lang=br|5|1|1909|sem idadesi}}

|data_morte ={{falecimento e idademorte|lang=br|25|1|1994|5|1|1909}}

'''Stephen Cole Kleene''' ([[Hartford]], [[{{dtlink|lang=br|5 de janeiro]] de [[|1|1909]]}} — [[Madison (Wisconsin)|Madison]], [[{{dtlink|lang=br|25 de janeiro]] de [[|1|1994]]}}) foi um [[matemático]] [[Estados Unidos|estadunidense]].

Kleene nasceu em [[5 de janeiro]] de [[1909]] na cidade de [[Hartford]], mas seu lar era na fazenda do avô paterno em [[Union (Maine)|Union]]. Recebeu [[Bachelor of Arts|BA]] do [[Colégio Amherst]] em [[1930]], finalizando o [[doutorado]] em [[matemática]] na [[Universidade de Princeton]] em [[1934]]. Intitulada ''A Theory of Positive Integers in Formal Logic'', sua [[tese]] foi supervisionada por [[Alonzo Church]]. Durante a [[década de 1930]], realizou um trabalho importante em [[cálculo lambda]]. Em [[1935]], associou-se ao departamento de matemática da [[Universidade de Wisconsin-Madison]], onde permaneceu por quase toda sua carreira. Após dois anos como instrutor, foi nomeado professor assistente em [[1937]].

Enquanto pesquisador visitante no [[Instituto de Estudos Avançados de Princeton]], entre 1939 e 1940, fundamentou a [[teoria da computabilidade]], que se tornou uma área de interesse de Kleene por toda sua vida acadêmica. Em [[1941]] ele retornou ao Colégio Amherst, onde passou um ano como professor associado de matemática. Em 1942, casou-se com Nancy Elliott.

Durante a [[Segunda Guerra Mundial]], Kleene atuou na [[Marinha dos Estados Unidos da América]], sendo instrutor de navegação em [[Nova Iorque]] e diretor de projetos em [[Washington, D.C.]] Retornou a [[Wisconsin]] em [[1946]], tornando-se professor em [[1948]]. Aposentou-se pela universidade de Wisconsin em 1979, e a biblioteca de matemática da universidade recebeu seu nome.

Kleene e sua esposa Nancy tiveram quatro filhos. Nancy faleceu faleceu em [[1970]], e em 1988 ele se casa novamente, com Jeanne Steinmetz. Em [[1990]] recebeu oa [[National Medal of Science]] por sua contribuição para a matemática lógica. Sendo um ávido [[montanhismo|montanhista]] e [[canoa|canoista]], tinha grande interesse pela [[natureza]] e o [[meio ambiente]], sendo ativo em diversas causas de conservação. Em algum momento ele herdou a fazenda do avô, e a manteve como uma base para a escalada do monte Katahdin. Aos 85 anos, Kleene faleceu em [[25 de janeiro]] de [[1994]] na cidade deem [[Madison (Wisconsin)|Madison]].

==Publicações importantesselecionadas==

=={{Ver também}}==