Henry Gordon Rice

{{Short description|American mathematician (1920–2003)}}

Henry Gordon Rice (July 18, 1920 – April 14, 2003){{Cite web |url=http://www.wolframscience.com/nksonline/index/names/p-s.html |title=wolframscience.com |access-date=2009-08-18 |archive-url=https://web.archive.org/web/20170422005413/http://www.wolframscience.com/nksonline/index/names/p-s.html |archive-date=2017-04-22 |url-status=dead }}{{cite web|title=Henry Gordon Rice|url=https://familysearch.org|publisher=familySearch.org|access-date=14 July 2014}} 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.{{cite journal | journal = Transactions of the American Mathematical Society | first = H. G. | last = Rice |title = Classes of Recursively Enumerable Sets and Their Decision Problems |date=March 1953 | volume = 74 | issue = 2 | pages = 358–366 |doi = 10.2307/1990888 | jstor = 1990888 | publisher = American Mathematical Society | doi-access = free }} 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.{{cite journal |journal =Communications of the ACM|volume =8 |title=Pracniques|year =1965|url=https://books.google.com/books?id=g8sfAAAAMAAJ&q=%22h+gordon+rice%22 |publisher =Association for Computing Machinery}}{{cite journal |journal =Datamation|title=News Item|date=January–February 1960|url=https://books.google.com/books?id=C4TRXGp6HvQC&q=%22h+gordon+rice%22}}

Rice died on April 14, 2003, in Davis, California.{{cite web|title=Deaths of AMS Members|url=https://www.ams.org/notices/200307/inside.pdf|website=ams.org/|publisher=American Mathematical Society|access-date=6 February 2015}}