Revisão das 14h05min de 26 de março de 2013 editar Kaktus Kid (discussão \| contribs) 218 630 edições ← Ver a alteração anterior		Revisão das 03h20min de 19 de junho de 2013 editar desfazer 186.214.190.101 (discussão) Ver a alteração posterior →
Linha 48: Sua obra em Wisconsin resultou em três trabalhos em [[lógica matemática]], Kleene (1952, 1967) e Kleene e Vesley (1965), frequentemente citados e ainda em circulação. O trabalho de 1952 descreveu provas alternativas para o [[teorema da Incompletude de Gödel]] que facilitaram sua compreensão e seu ensino. Já o trabalho de 1965 com Vesley é uma introdução ao [[intuicionismo]] e à matemática. 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 a [[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 em [[Madison (Wisconsin)\|Madison]]. ==Publicações selecionadas==

Stephen Kleene: diferenças entre revisões