S. C. Kleene

URI: https://gptkb.org/entity/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:theoretical_computer_science gptkb:logic gptkb:set_theory recursion theory
gptkbp:fullName	gptkb:Stephen_Cole_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
https://www.w3.org/2000/01/rdf-schema#label	S. C. Kleene