Henry Gordon Rice (July 18, 1920 – April 14, 2003)[1][2] was an American logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University with thesis advisor Paul C. Rosenbloom.[3] Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation in El Segundo.[4][5]

Rice died on April 14, 2003, in Davis, California.[6]

References

edit
  1. ^ "wolframscience.com". Archived from the original on 2017-04-22. Retrieved 2009-08-18.
  2. ^ "Henry Gordon Rice". familySearch.org. Retrieved 14 July 2014.
  3. ^ Rice, H. G. (March 1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society. 74 (2). American Mathematical Society: 358–366. doi:10.2307/1990888. JSTOR 1990888.
  4. ^ "Pracniques". Communications of the ACM. 8. Association for Computing Machinery. 1965.
  5. ^ "News Item". Datamation. January–February 1960.
  6. ^ "Deaths of AMS Members" (PDF). ams.org/. American Mathematical Society. Retrieved 6 February 2015.
edit