 
                        
                            
                                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 | 
| 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 | 
| https://www.w3.org/2000/01/rdf-schema#label | Henry Gordon Rice |