Henry Gordon Rice

Henry Gordon Rice ( * 1920 ) is a mathematician and logician. He was known primarily for his work in theoretical computer science, which eventually led to the eponymous set of Rice. The proof of this, he gave in his dissertation in 1951 at Syracuse University. He taught as a professor of mathematics at the University of New Hampshire, and was hired in 1960 at CSC in El Segundo.

Writings

  • HG Rice: Recursively Enumerable Classes of Sets and Their Decision problem. In: Transactions of the American Mathematical Society. Vol 74, No. 2 ( March 1953 ), pp. 358-366, doi: 10.2307/1990888.
Rice's theorem El Segundo, California Digital Object Identifier
386439
de