gptkbp:instanceOf
|
gptkb:logic
gptkb:mathematician
|
gptkbp:almaMater
|
gptkb:Amherst_College
gptkb:Princeton_University
|
gptkbp:award
|
gptkb:Leroy_P._Steele_Prize
|
gptkbp:birthDate
|
1909-01-05
|
gptkbp:birthPlace
|
gptkb:Hartford,_Connecticut,_USA
|
gptkbp:children
|
gptkb:Ken_Kleene
gptkb:Roger_Kleene
|
gptkbp:deathDate
|
1994-01-25
|
gptkbp:deathPlace
|
gptkb:Madison,_Wisconsin,_USA
|
gptkbp:doctoralAdvisor
|
gptkb:Alonzo_Church
|
gptkbp:doctoralStudent
|
gptkb:Hao_Wang
gptkb:Hartley_Rogers_Jr.
gptkb:John_Myhill
gptkb:J._Barkley_Rosser
gptkb:Yu-Chi_Ho
|
gptkbp:field
|
gptkb:logic
gptkb:set_theory
automata theory
recursion theory
theoretical computer science
|
https://www.w3.org/2000/01/rdf-schema#label
|
Stephen Cole Kleene
|
gptkbp:influenced
|
gptkb:Dana_Scott
gptkb:Hao_Wang
gptkb:Hartley_Rogers_Jr.
gptkb:John_Myhill
gptkb:J._Barkley_Rosser
gptkb:Yu-Chi_Ho
automata theory
recursion theory
theoretical computer science
|
gptkbp:influencedBy
|
gptkb:Alonzo_Church
gptkb:Kurt_Gödel
|
gptkbp:knownFor
|
gptkb:lambda_calculus
gptkb:Kleene's_O
gptkb:Kleene's_recursion_theorem
gptkb:Kleene_algebra
gptkb:Kleene_hierarchy
gptkb:Kleene_star
regular expressions
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
|
gptkbp:nationality
|
gptkb:American
|
gptkbp:publishedIn
|
gptkb:logic
gptkb:Introduction_to_Metamathematics
|
gptkbp:religion
|
Episcopalian
|
gptkbp:spouse
|
gptkb:Nancy_Elliott
|
gptkbp:workInstitution
|
gptkb:University_of_Wisconsin–Madison
|
gptkbp:bfsParent
|
gptkb:Foundations_of_mathematics
|
gptkbp:bfsLayer
|
5
|