Stephen Kleene

URI: https://gptkb.org/entity/Stephen_Kleene

GPTKB entity

AI-created image

Statements (52)

Predicate	Object
gptkbp:instanceOf	gptkb:mathematician 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:Sharon gptkb:Ken gptkb:Bruce
gptkbp:deathDate	1994-01-25
gptkbp:deathPlace	gptkb:Madison,_Wisconsin,_United_States
gptkbp:doctoralAdvisor	gptkb:Alonzo_Church
gptkbp:employer	gptkb:University_of_Wisconsin–Madison
gptkbp:field	gptkb:logic gptkb:set_theory recursion theory theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label	Stephen Kleene
gptkbp:influenced	gptkb:Dana_Scott gptkb:Hartley_Rogers_Jr. gptkb:John_Myhill gptkb:Gerald_Sacks
gptkbp:influencedBy	gptkb:Alonzo_Church
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:notableStudent	gptkb:Dana_Scott gptkb:Hartley_Rogers_Jr. gptkb:John_Myhill gptkb:Gerald_Sacks
gptkbp:spouse	gptkb:Nancy_Elliott
gptkbp:wrote	gptkb:logic gptkb:General_Recursive_Functions_of_Natural_Numbers gptkb:Introduction_to_Metamathematics gptkb:On_Notation_for_Ordinal_Numbers gptkb:On_the_Interpretation_of_Intuitionistic_Number_Theory gptkb:On_the_Interpretation_of_Intuitionistic_Number_Theory_II gptkb:Permutation_of_Finite_Sets_and_the_Foundations_of_Mathematics gptkb:Recursive_Functions_and_Intuitionistic_Mathematics gptkb:Representation_of_Events_in_Nerve_Nets_and_Finite_Automata Recursive Predicates and Quantifiers
gptkbp:bfsParent	gptkb:Alonzo_Church gptkb:logic
gptkbp:bfsLayer	4