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
|