Jump to content

Henry Gordon Rice

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PhnomPencil (talk | contribs) at 07:20, 16 November 2011 (fixed dab link (El Segundo) using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Henry Gordon Rice (born 1920)[1] 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.[2] 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.[3][4]

References

  1. ^ http://www.wolframscience.com/nksonline/index/names/p-s.html
  2. ^ Rice, H. G. (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); Unknown parameter |month= ignored (help)
  3. ^ "Pracniques". Communications of the ACM. 8. Association for Computing Machinery. 1965.
  4. ^ "News Item". Datamation. 1960. {{cite journal}}: Unknown parameter |month= ignored (help)

External links

Template:Persondata