Henry Gordon Rice Explained
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]
Notes and References
- Web site: wolframscience.com . 2009-08-18 . https://web.archive.org/web/20170422005413/http://www.wolframscience.com/nksonline/index/names/p-s.html . 2017-04-22 . dead .
- Web site: Henry Gordon Rice. familySearch.org. 14 July 2014.
- Transactions of the American Mathematical Society . H. G. . Rice . Classes of Recursively Enumerable Sets and Their Decision Problems . March 1953 . 74 . 2 . 358–366 . 10.2307/1990888 . 1990888 . American Mathematical Society . free .
- Communications of the ACM. 8 . Pracniques. 1965. Association for Computing Machinery.
- Datamation. News Item. January–February 1960.
- Web site: Deaths of AMS Members. ams.org/. American Mathematical Society. 6 February 2015.