Stephen Kleene

Stephen Kleene
Stephen Kleene
Nascimento	5 de janeirode1909 Hartford
Morte	25 de janeirode1994(85 anos) Madison
Residência	Estados Unidos
Nacionalidade	norte-americano
Alma mater	Universidade de Princeton
Prêmios	Prêmio Leroy P. Steele (1983),Medalha Nacional de Ciências (1990)
Orientador(es)(as)	Alonzo Church
Orientado(a)(s)	Robert Lee Constable,Yiannis Moschovakis,Nels David Nelson,Dick de Jongh
Instituições	Universidade de Wisconsin-Madison
Campo(s)	Matemática

Stephen Cole Kleene(Hartford,5 de janeirode1909—Madison,25 de janeirode1994) foi ummatemáticoestadunidense.

Um dos estudantes mais notórios deAlonzo Church,Kleene é reconhecido junto comAlan Turing,Emil Poste outros como um fundador da ramificação dalógica matemáticaconhecida porteoria da computabilidade.Seu trabalho fundamentou o estudo de que funções sãocomputáveis.Diversos conceitos matemáticos têm seu nome, como ahierarquia de Kleene,aálgebra de Kleene,ofecho de Kleene,oteorema da recursão de Kleenee oteorema do ponto fixo de Kleene.Ele também é o inventor dasexpressões regulares,e foi um líder na defesa dointuicionismo.

Biografia

Kleene nasceu em 5 de janeiro de 1909 na cidade deHartford,mas seu lar era na fazenda do avô paterno emUnion.RecebeuBAdoColégio Amherstem 1930, finalizando odoutoradoemmatemáticanaUniversidade de Princetonem 1934. IntituladaA Theory of Positive Integers in Formal Logic,suatesefoi supervisionada porAlonzo Church.Durante adécada de 1930,realizou um trabalho importante emcálculo lambda.Em 1935, associou-se ao departamento de matemática daUniversidade 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 noInstituto de Estudos Avançados de Princeton,entre 1939 e 1940, fundamentou ateoria da computabilidade,que se tornou uma área de interesse de Kleene por toda sua vida acadêmica. Em 1941 retornou ao Colégio Amherst, onde passou um ano como professor associado de matemática. Em 1942, casou-se com Nancy Elliott.

Durante aSegunda Guerra Mundial,Kleene atuou naMarinha dos Estados Unidos,sendo instrutor de navegação emNova Iorquee diretor de projetos emWashington, D.C.Retornou aWisconsinem 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.

Sua obra em Wisconsin resultou em três trabalhos emló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 oteorema da Incompletude de Gödelque facilitaram sua compreensão e seu ensino. Já o trabalho de 1965 com Vesley é uma introdução aointuicionismoe à matemática.

Kleene e sua esposa Nancy tiveram quatro filhos. Nancy faleceu em 1970, e em 1988 ele se casa novamente, com Jeanne Steinmetz. Em 1990 recebeu aMedalha Nacional de Ciências,por sua contribuição para a matemática lógica. Sendo um ávidomontanhistaecanoista,tinha grande interesse pelanaturezae omeio 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. Kleene faleceu em 25 de janeiro de 1994 emMadison,com 85 anos de idade.

Publicações selecionadas

• 1935.Stephen Cole Kleene (Jan 1935).«A Theory of Positive Integers in Formal Logic. Part I».American Journal of Mathematics.57(1): 153–173.JSTOR2372027.doi:10.2307/2372027
• 1935.Stephen Cole Kleene (1935).«A Theory of Positive Integers in Formal Logic. Part II».American Journal of Mathematics.57(2): 219–244.JSTOR2371199.doi:10.2307/2371199
• 1935.Stephen Cole Kleene; J.B. Rosser (Jul 1935). «The Inconsistency of Certain Formal Logics».Annals of Mathematics.2nd Series.36(3): 630–636.JSTOR1968646.doi:10.2307/1968646
• 1936.«General recursive functions of natural numbers».Mathematische Annalen(112): 727–742. 1936
• 1936.«$\lambda$-definability and recursiveness».Duke Mathematical Journal.2(2): 340–352. 1936
• 1938.«On Notations for Ordinal Numbers»(PDF).Journal of Symbolic Logic.3(4): 150–155. 1938.JSTOR2267778.doi:10.2307/2267778
• 1943.«Recursive predicates and quantifiers».Transactions of the American Mathematical Society.53(1): 41–73. Jan 1943.doi:10.1090/S0002-9947-1943-0007371-8
• 1951.Kleene, Stephen Cole(15 de dezembro de 1951).«Representation of Events in Nerve Nets and Finite Automata»(PDF).U. S. Air Force Project Rand Research Memorandum (RM-704).The RAND Corporation
• 1952.Introduction to Metamathematics.New York: Van Nostrand. (Ishi Press: 2009 reimpresso).
• 1956.Kleene, Stephen Cole(1956).Shannon, Claude;McCarthy, John,eds.Representation of Events in Nerve Nets and Finite Automata.Automata Studies.[S.l.: s.n.]OCLC564148
• 1965 (com Richard Eugene Vesley).The Foundations of Intuitionistic Mathematics.North-Holland.
• 1967.Mathematical Logic.John Wiley & Sons.Dover reimpressão, 2002.ISBN0-486-42533-9.
• 1981. "Origins of Recursive Function Theory" inAnnals of the History of Computing 3,No. 1.
• 1987.«Reflections on Church's thesis».Notre Dame Journal of Formal Logic.28(4): 490–498. 1987.doi:10.1305/ndjfl/1093637645

Ver também

• Intuicionismo

Referências

Fontes

• Saunders Mac Lane (1998).«Stephen Cole Kleene January 5, 1909 — January 25, 1994»(em inglês). National Academies Press.Consultado em 20 de julho de 2008

Ligações externas

• O'Connor, John J.;Robertson, Edmund F.,«Stephen Kleene»,MacTutor History of Mathematics archive(em inglês),Universidade de St. Andrews
• Biographical memoir– bySaunders Mac Lane
• Kleene bibliography
• «The Princeton Mathematics Community in the 1930s: Transcript Number 23 (PMC23): Stephen C. Kleene and J. Barkley Rosser».Cópia arquivada em 10 de março de 2015– Interview with Kleene andJohn Barkley Rosserabout their experiences at Princeton
• Lista de publicaçõesdoDigital Bibliography & Library Project.