Henry Gordon Rice
Henry Gordon Rice ( July 18, 1920 - April 14, 2003 ) was a mathematician and logician . He was best known for his work in theoretical computer science , which eventually led to Rice's theorem named after him . He gave the proof of this in his dissertation in 1951 at Syracuse University . He taught as a professor of mathematics at the University of New Hampshire and was employed from 1960 at CSC in El Segundo .
Fonts
- HG Rice: Classes of Recursively Enumerable Sets and Their Decision Problems . In: Transactions of the American Mathematical Society . Vol. 74, No. 2 (March 1953), pp. 358-366, doi : 10.2307 / 1990888 .
Individual evidence
- ↑ Archived copy ( memento of the original from February 18, 2012 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
- ↑ http://www.ams.org/notices/200307/inside.pdf
- ↑ Datamation January / February 1960, p. 84.
| personal data | |
|---|---|
| SURNAME | Rice, Henry Gordon |
| BRIEF DESCRIPTION | American mathematician and logician |
| DATE OF BIRTH | July 18, 1920 |
| DATE OF DEATH | April 14, 2003 |