Stephen Cole Kleene

GPTKB entity

Statements (51)
Predicate Object
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