Henry Gordon Rice

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,[3] which he proved in his doctoral dissertation of 1951 at Syracuse University with thesis advisor Paul C. Rosenbloom.[4] 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.[5][6]

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

References

  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. Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media, Inc. p. 1137. ISBN 1-57955-008-8.
  4. Rice, H. G. (March 1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society. American Mathematical Society. 74 (2): 358–366. doi:10.2307/1990888. JSTOR 1990888.
  5. "Pracniques". Communications of the ACM. Association for Computing Machinery. 8. 1965.
  6. "News Item". Datamation. January–February 1960.
  7. "Deaths of AMS Members" (PDF). ams.org/. American Mathematical Society. Retrieved 6 February 2015.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.