
AI-created image
Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:person
|
gptkbp:almaMater |
gptkb:Princeton_University
|
gptkbp:birthDate |
1920-01-14
|
gptkbp:deathDate |
2003-10-14
|
gptkbp:doctoralAdvisor |
gptkb:Alonzo_Church
|
gptkbp:field |
gptkb:logic
computability theory recursion theory |
https://www.w3.org/2000/01/rdf-schema#label |
Henry Gordon Rice
|
gptkbp:knownFor |
gptkb:Rice's_theorem
|
gptkbp:nationality |
gptkb:American
|
gptkbp:notableWork |
gptkb:Rice's_theorem
|
gptkbp:occupation |
gptkb:computer_scientist
gptkb:mathematician |
gptkbp:placeOfBirth |
gptkb:United_States
|
gptkbp:thesisTitle |
Classes of Recursively Enumerable Sets and Their Decision Problems
|
gptkbp:thesisYear |
1951
|
gptkbp:bfsParent |
gptkb:Rice–Myhill–Shapiro_theorem
|
gptkbp:bfsLayer |
4
|