Henry Gordon Rice

E1578109 UNEXPLORED

Henry Gordon Rice was an American logician and mathematician best known for his work in computability theory, particularly the formulation of Rice's theorem on the limits of algorithmic solvability of semantic properties of programs.

All labels observed (1)

Label Occurrences
Henry Gordon Rice canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Rice's theorem namedAfter Henry Gordon Rice