S. C. Kleene

GPTKB entity

Statements (57)
Predicate Object
gptkbp:instanceOf gptkb:person
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,_United_States
gptkbp:children gptkb:Ken_Kleene
gptkb:Roger_Kleene
gptkbp:deathDate 1994-01-25
gptkbp:deathPlace gptkb:Madison,_Wisconsin,_United_States
gptkbp:doctoralAdvisor gptkb:Alonzo_Church
gptkbp:doctoralStudent gptkb:John_Myhill
gptkb:Solomon_Feferman
gptkb:Clifford_Spector
gptkb:Gerald_Sacks
gptkb:Manuel_Lerman
gptkb:Richard_A._Shore
gptkb:Robert_I._Soare
gptkb:Stephen_G._Simpson
gptkb:Donald_A._Martin
gptkb:Gerald_E._Sacks
gptkb:Harvey_Friedman
gptkb:J._Barkley_Rosser
gptkb:Robert_L._Constable
gptkb:Theodore_A._Slaman
gptkb:Yiannis_N._Moschovakis
gptkb:David_A._Martin
gptkb:Robert_M._Solovay
gptkb:George_Sacks
gptkb:John_R._Shoenfield
gptkb:Richard_M._Friedberg
gptkbp:field gptkb:logic
gptkb:set_theory
recursion theory
theoretical computer science
gptkbp:fullName gptkb:Stephen_Cole_Kleene
https://www.w3.org/2000/01/rdf-schema#label S. C. Kleene
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:occupation gptkb:mathematician
gptkbp:president gptkb:Association_for_Symbolic_Logic
gptkbp:publishedWork gptkb:logic
gptkb:Introduction_to_Metamathematics
gptkb:Representation_of_Events_in_Nerve_Nets_and_Finite_Automata
gptkbp:spouse gptkb:Nancy_Elliott
gptkbp:workInstitution gptkb:University_of_Wisconsin–Madison
gptkbp:bfsParent gptkb:Degrees_of_Unsolvability_(1966)
gptkb:Degrees_of_Unsolvability_(book)
gptkbp:bfsLayer 7