Henry Gordon Rice
Henry Gordon Rice (July 18, 1920 – April 14, 2003)[1][2] is a logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University.[3] He 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 April 14, 2003 in Davis, California.[6]
References
- ↑ http://www.wolframscience.com/nksonline/index/names/p-s.html
- ↑ "Henry Gordon Rice". https://familysearch.org''. familySearch.org.
- ↑ 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.
- ↑ "Pracniques". Communications of the ACM (Association for Computing Machinery) 8. 1965.
- ↑ "News Item". Datamation. January–February 1960.
- ↑ "Deaths of AMS Members". http://www.ams.org/''. American Mathematical Society. Retrieved 6 February 2015.