Jump to content

Henry Gordon Rice

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 2.235.14.28 (talk) at 16:38, 12 May 2015. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Henry Gordon Rice (July 18, 1920 – April 14, 2003)[1][2] was 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

  1. ^ http://www.wolframscience.com/nksonline/index/names/p-s.html
  2. ^ "Henry Gordon Rice". https://familysearch.org. familySearch.org. {{cite web}}: |access-date= requires |url= (help); External link in |website= (help); Missing or empty |url= (help)
  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. {{cite journal}}: |access-date= requires |url= (help)
  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). http://www.ams.org/. American Mathematical Society. Retrieved 6 February 2015. {{cite web}}: External link in |website= (help)

Template:Persondata