|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Amherst_College
gptkb:Princeton_University
|
|
gptkbp:awardReceived
|
gptkb:Leroy_P._Steele_Prize
|
|
gptkbp:birthDate
|
1909-01-05
|
|
gptkbp:birthPlace
|
gptkb:Hartford,_Connecticut,_United_States
|
|
gptkbp:children
|
gptkb:Bruce_Kleene
gptkb:Ken_Kleene
gptkb:Sharon_Kleene
|
|
gptkbp:deathDate
|
1994-01-25
|
|
gptkbp:deathPlace
|
gptkb:Madison,_Wisconsin,_United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:Alonzo_Church
|
|
gptkbp:doctoralStudent
|
gptkb:John_Myhill
gptkb:J._Barkley_Rosser
|
|
gptkbp:education
|
gptkb:Amherst_College
gptkb:Princeton_University
|
|
gptkbp:employer
|
gptkb:University_of_Wisconsin–Madison
|
|
gptkbp:fieldOfWork
|
gptkb:theoretical_computer_science
gptkb:logic
gptkb:set_theory
recursion theory
|
|
gptkbp:knownFor
|
gptkb:lambda_calculus
gptkb:Kleene's_O
gptkb:Kleene's_recursion_theorem
gptkb:Kleene_algebra
gptkb:Kleene_hierarchy
gptkb:Kleene_star
recursion theory
regular expressions
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableWork
|
gptkb:logic
gptkb:Introduction_to_Metamathematics
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
|
|
gptkbp:spouse
|
gptkb:Nancy_Elliott
|
|
gptkbp:bfsParent
|
gptkb:Collected_Works_of_Kurt_Gödel
gptkb:Kurt_Gödel's_posthumous_works
gptkb:Kurt_Gödel_Collected_Works,_Volume_3
|
|
gptkbp:bfsLayer
|
6
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
Stephen C. Kleene
|