Henry Gordon Rice
Encyclopedia
Henry Gordon Rice 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
. 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
.
Rice's theorem
In computability theory, Rice's theorem states that, for any non-trivial property of partial functions, there is no general and effective method to decide whether an algorithm computes a partial function with that property...
, which he proved in his doctoral dissertation of 1951 at Syracuse University
Syracuse University
Syracuse University is a private research university located in Syracuse, New York, United States. Its roots can be traced back to Genesee Wesleyan Seminary, founded by the Methodist Episcopal Church in 1832, which also later founded Genesee College...
. He was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation
Computer Sciences Corporation
Computer Sciences Corporation is an American information technology and business services company headquartered in Falls Church, Virginia, USA...
in El Segundo
El Segundo, California
El Segundo is a city in Los Angeles County, California, United States. Located on the Santa Monica Bay, it was incorporated on January 18, 1917, and is one of the Beach Cities of Los Angeles County and part of the South Bay Cities Council of Governments...
.