GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Roger Kleene
URI:
https://gptkb.org/entity/Roger_Kleene
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkbp:awardReceived
gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
gptkbp:birthYear
1909
gptkbp:deathYear
1994
gptkbp:doctoralAdvisor
gptkb:Alonzo_Church
gptkbp:field
gptkb:logic
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Roger Kleene
gptkbp:knownFor
gptkb:Kleene's_recursion_theorem
gptkb:Kleene_algebra
gptkb:Kleene_star
gptkbp:memberOf
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Stephen_Cole_Kleene
gptkbp:bfsLayer
6