Henry Gordon Rice
Appearance
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
- ^ http://www.wolframscience.com/nksonline/index/names/p-s.html
- ^ 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) - ^ "Pracniques". Communications of the ACM. 8. Association for Computing Machinery. 1965.
- ^ "News Item". Datamation. 1960.
{{cite journal}}
: Unknown parameter|month=
ignored (help)
External links