GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Ken Kleene
URI:
https://gptkb.org/entity/Ken_Kleene
GPTKB entity
Statements (32)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkbp:alsoKnownAs
gptkb:Ken_Kleene
gptkbp:awardReceived
gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
gptkbp:birthDate
1909-01-05
gptkbp:birthPlace
gptkb:Hartford,_Connecticut,_United_States
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
recursion theory
theoretical computer science
gptkbp:fullName
gptkb:Stephen_Cole_Kleene
https://www.w3.org/2000/01/rdf-schema#label
Ken Kleene
gptkbp:influenced
gptkb:Alan_Turing
gptkb:Dana_Scott
gptkb:Hartley_Rogers_Jr.
gptkb:John_Myhill
gptkbp:influencedBy
gptkb:Alonzo_Church
gptkbp:memberOf
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
gptkbp:nationality
gptkb:American
gptkbp:notableFor
gptkb:Kleene's_O
gptkb:Kleene's_recursion_theorem
gptkb:Kleene_algebra
gptkb:Kleene_hierarchy
gptkb:Kleene_star
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Stephen_Cole_Kleene
gptkbp:bfsLayer
6