Mostrar código-fonte de Stephen Kleene

{{Info/Cientista
|nome                 = Stephen Kleene
|imagem               = Kleene.jpg
|tamanho              = 200px
|legenda              =
|nome_nativo          =
|data_nascimento      = {{dni|lang=br|5|1|1909|si}}
|local_nascimento     = [[Hartford]]
|data_morte           = {{morte|lang=br|25|1|1994|5|1|1909}}
|local_morte          = [[Madison (Wisconsin)|Madison]]
|causa_morte          =
|pais_de_residencia   = [[Estados Unidos]]
|nacionalidade        = {{EUAn|o}} 
|etnicidade           =
|campo                = [[Matemática]]
|instituicao_trabalho = [[Universidade de Wisconsin-Madison]]
|alma_mater          = [[Universidade de Princeton]]
|tese                =
|orientador          = [[Alonzo Church]]
|orientado           = {{nowrap|[[Robert Lee Constable]]}}, {{nowrap|[[Yiannis Moschovakis]]}}, {{nowrap|[[Nels David Nelson]]}}, {{nowrap|[[Dick de Jongh]]}}<ref>{{citar web
|url                 = http://genealogy.math.ndsu.nodak.edu/id.php?id=8012
|titulo              = Stephen Cole Kleene
|obra                = Mathematics Genealogy Project
|publicado           = [[Universidade Estadual da Dacota do Norte]]
|lingua              = inglês
|acessodata          = 20 de julho de 2008
}}</ref>
|conhecido_por       =
|influenciado        =
|influencia          =
|premio              = {{nowrap|[[Prêmio Leroy P. Steele|Prêmio Leroy P. Steele (1983)]]}}, {{nowrap|[[Medalha Nacional de Ciências|Medalha Nacional de Ciências (1990)]]}}
|conjuge             =
|religiao            =
|assinatura          =
|notas               =
}}
'''Stephen Cole Kleene''' ([[Hartford]], {{dtlink|lang=br|5|1|1909}} — [[Madison (Wisconsin)|Madison]], {{dtlink|lang=br|25|1|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 [[função computável|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ão regular|expressões regulares]], e foi um líder na defesa do [[intuicionismo]].

== Biografia ==
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 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]], 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.

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 em 1970, e em 1988 ele se casa novamente, com Jeanne Steinmetz. Em 1990 recebeu a [[Medalha Nacional de Ciências]], 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. Kleene faleceu em 25 de janeiro de 1994 em [[Madison (Wisconsin)|Madison]], com 85 anos de idade.

== Publicações selecionadas ==

* 1935. {{cite journal |url=https://www.jstor.org/stable/2372027 |title=A Theory of Positive Integers in Formal Logic. Part I |date=Jan 1935 |journal=[[American Journal of Mathematics]] |author=Stephen Cole Kleene |pages=153–173 |doi=10.2307/2372027 |jstor=2372027 |volume=57 |number=1}}
* 1935. {{cite journal |url=https://www.jstor.org/stable/2371199 |title=A Theory of Positive Integers in Formal Logic. Part II |date=1935 |journal=American Journal of Mathematics |author=Stephen Cole Kleene |pages=219–244 |doi=10.2307/2371199 |jstor=2371199 |volume=57 |number=2}}
* 1935. {{cite journal |title=The Inconsistency of Certain Formal Logics |date=Jul 1935 |journal=Annals of Mathematics |series=2nd Series |pages=630–636 |doi=10.2307/1968646 |jstor=1968646 |volume=36 |author1=Stephen Cole Kleene |author2=J.B. Rosser |number=3}}
* 1936. {{cite journal |url=http://www.digizeitschriften.de/dms/img/?PID=GDZPPN002278499 |title=General recursive functions of natural numbers |date=1936 |journal=[[Mathematische Annalen]] |issue=112 |pages=727–742}}
* 1936. {{cite journal |url=https://projecteuclid.org/euclid.dmj/1077489488 |title=<math>\lambda</math>-definability and recursiveness |journal=Duke Mathematical Journal |author=Stephen Cole Kleene |year=1936 |pages=340–352 |volume=2 |author-mask=0 |number=2}}
* 1938. {{cite journal |url=http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Kleene%20-%20Ordinals.pdf |title=On Notations for Ordinal Numbers |journal=Journal of Symbolic Logic |issue=4 |author=Stephen Cole Kleene |year=1938 |pages=150–155 |doi=10.2307/2267778 |jstor=2267778 |volume=3 |author-mask=0 |s2cid=34314018}}
* 1943. {{cite journal |url=https://www.ams.org/journals/tran/1943-053-01/S0002-9947-1943-0007371-8/ |title=Recursive predicates and quantifiers |date=Jan 1943 |journal=Transactions of the American Mathematical Society |author=Stephen Cole Kleene |pages=41–73 |doi=10.1090/S0002-9947-1943-0007371-8 |volume=53 |doi-access=free |author-mask=0 |number=1}}
* 1951. {{cite news|url=https://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf|title=Representation of Events in Nerve Nets and Finite Automata|date=15-12-1951|publisher=[[The RAND Corporation]]|series=U. S. Air Force Project Rand Research Memorandum|author-first=Stephen Cole|author-last=Kleene|author-link=Stephen Cole Kleene|number=RM-704}}
* 1952. ''[https://books.google.com/books?id=HZAjPwAACAAJ&source=gbs_ViewAPI Introduction to Metamathematics.]'' New York: Van Nostrand. (Ishi Press: 2009 reimpresso).<ref>{{cite book|title=WorldCat: editions for 'Introduction to metamathematics.'|oclc=523942}}</ref>
* 1956. {{cite book|title=Representation of Events in Nerve Nets and Finite Automata|author-last=Kleene|author-first=Stephen Cole|date=1956|editor-link1=Claude Shannon|oclc=564148|editor-link2=John McCarthy (computer scientist)|author-link=Stephen Cole Kleene|work=Automata Studies|editor-first1=Claude|editor-last1=Shannon|editor-first2=John|editor-last2=McCarthy}}
* 1965 (com Richard Eugene Vesley). ''The Foundations of Intuitionistic Mathematics''. North-Holland.<ref>{{cite journal |url=https://www.ams.org/journals/bull/1965-71-06/S0002-9904-1965-11412-4/S0002-9904-1965-11412-4.pdf |title=Review: ''The foundations of intuitionistic mathematics'', by Stephen Cole Kleene and Richard Eugene Vesley |date=1965 |journal=[[Bulletin of the American Mathematical Society]] |issue=6 |pages=850–852 |doi=10.1090/s0002-9904-1965-11412-4 |volume=71 |doi-access=free |author-last=Bishop |author-first=Errett |author-link=Errett Bishop}}</ref>
* 1967. ''[https://www.worldcat.org/oclc/523472 Mathematical Logic.]'' [[John Wiley & Sons]]. Dover reimpressão, 2002. {{ISBN|0-486-42533-9}}.
* 1981. "Origins of Recursive Function Theory" in ''[https://www.worldcat.org/oclc/4583089 Annals of the History of Computing 3],'' No. 1.
* 1987. {{cite journal |title=Reflections on Church's thesis |date=1987 |journal=Notre Dame Journal of Formal Logic |author=Stephen Cole Kleene |pages=490–498 |doi=10.1305/ndjfl/1093637645 |volume=28 |doi-access= |author-mask=0 |number=4}}

== Ver também ==
* [[Intuicionismo]]

{{referências}}

=== Fontes ===
<span class="references-small">
* {{citar web
|url=http://www.nap.edu/html/biomems/skleene.html
|titulo=Stephen Cole Kleene January 5, 1909 — January 25, 1994
|autor=Saunders Mac Lane
|data=1998
|publicado=National Academies Press
|lingua=inglês
|acessodata=20 de julho de 2008
}}

== Ligações externas ==
* {{MacTutor|id=Kleene}}
* [http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/kleene-stephen.pdf Biographical memoir] – by [[Saunders Mac Lane]]
* [https://www.library.wisc.edu/amp/about-amp/history-of-the-amp-library/kleene/ Kleene bibliography]
* {{cite web|url=https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc23.htm|title=The Princeton Mathematics Community in the 1930s: Transcript Number 23 (PMC23): Stephen C. Kleene and J. Barkley Rosser|archive-url=https://web.archive.org/web/20150310074630/https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc23.htm|archive-date=10-3-2015|url-status=}} – Interview with Kleene and [[John Barkley Rosser]] about their experiences at Princeton
* {{DBLP|name=Stephen Cole Kleene}}{{Lógica}}
{{Prêmio Leroy P. Steele}}
{{Medalha Nacional de Ciências|math-stat-comp}}

{{DEFAULTSORT:Kleene, Stephen Cole}}
[[Categoria:Medalha Nacional de Ciências]]
[[Categoria:Cientistas da computação dos Estados Unidos]]
[[Categoria:Matemáticos dos Estados Unidos]]
[[Categoria:Pioneiros da computação]]
[[Categoria:Lógicos dos Estados Unidos]]
[[Categoria:Alunos do Amherst College]]
[[Categoria:Alunos da Universidade de Princeton]]