Henry Gordon Rice: Difference between revisions

Source: Wikipedia, the free encyclopedia.
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Task 18 (cosmetic): eval 6 templates: del empty params (1×); hyphenate params (2×);
m Added reference
Line 1: Line 1:
{{short description|American mathematician}}
{{short description|American mathematician}}
'''Henry Gordon Rice''' (July 18, 1920 &ndash; April 14, 2003)<ref>{{Cite web |url=http://www.wolframscience.com/nksonline/index/names/p-s.html |title=wolframscience.com |access-date=2009-08-18 |archive-url=https://web.archive.org/web/20170422005413/http://www.wolframscience.com/nksonline/index/names/p-s.html |archive-date=2017-04-22 |url-status=dead }}</ref><ref>{{cite web|title=Henry Gordon Rice|url=https://familysearch.org|publisher=familySearch.org|access-date=14 July 2014}}</ref> was an American logician and mathematician best known as the author of [[Rice's theorem]], which he proved in his doctoral dissertation of 1951 at [[Syracuse University]] with thesis advisor [[Paul C. Rosenbloom]].<ref name=rice>{{cite journal | journal = Transactions of the American Mathematical Society | first = H. G. | last = Rice |title = Classes of Recursively Enumerable Sets and Their Decision Problems |date=March 1953 | volume = 74 | issue = 2 | pages = 358–366 |doi = 10.2307/1990888 | jstor = 1990888 | publisher = American Mathematical Society | doi-access = free }}<!--| accessdate = 2008-01-27 --></ref> Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by [[Computer Sciences Corporation]] in [[El Segundo, California|El Segundo]].<ref name = "acm">{{cite journal |journal =[[Communications of the ACM]]|volume =8 |title=Pracniques|year =1965|url=https://books.google.com/books?id=g8sfAAAAMAAJ&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22 |publisher =Association for Computing Machinery}}</ref><ref name = "datamation">{{cite journal |journal =[[Datamation]]|title=News Item|date=January–February 1960|url=https://books.google.com/books?id=C4TRXGp6HvQC&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22}}</ref>
'''Henry Gordon Rice''' (July 18, 1920 &ndash; April 14, 2003)<ref>{{Cite web |url=http://www.wolframscience.com/nksonline/index/names/p-s.html |title=wolframscience.com |access-date=2009-08-18 |archive-url=https://web.archive.org/web/20170422005413/http://www.wolframscience.com/nksonline/index/names/p-s.html |archive-date=2017-04-22 |url-status=dead }}</ref><ref>{{cite web|title=Henry Gordon Rice|url=https://familysearch.org|publisher=familySearch.org|access-date=14 July 2014}}</ref> was an American logician and mathematician best known as the author of [[Rice's theorem]]<ref>{{cite book|last=Wolfram|first=Stephen|authorlink=Stephen Wolfram|title=A New Kind of Science|url=https://www.wolframscience.com/nks/notes-12-8--examples-of-undecidability/|publisher=Wolfram Media, Inc.|year=2002|page=1137|isbn=1-57955-008-8}}</ref>, which he proved in his doctoral dissertation of 1951 at [[Syracuse University]] with thesis advisor [[Paul C. Rosenbloom]].<ref name=rice>{{cite journal | journal = Transactions of the American Mathematical Society | first = H. G. | last = Rice |title = Classes of Recursively Enumerable Sets and Their Decision Problems |date=March 1953 | volume = 74 | issue = 2 | pages = 358–366 |doi = 10.2307/1990888 | jstor = 1990888 | publisher = American Mathematical Society | doi-access = free }}<!--| accessdate = 2008-01-27 --></ref> Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by [[Computer Sciences Corporation]] in [[El Segundo, California|El Segundo]].<ref name = "acm">{{cite journal |journal =[[Communications of the ACM]]|volume =8 |title=Pracniques|year =1965|url=https://books.google.com/books?id=g8sfAAAAMAAJ&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22 |publisher =Association for Computing Machinery}}</ref><ref name = "datamation">{{cite journal |journal =[[Datamation]]|title=News Item|date=January–February 1960|url=https://books.google.com/books?id=C4TRXGp6HvQC&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22}}</ref>


Rice died on April 14, 2003 in [[Davis, California]].<ref>{{cite web|title=Deaths of AMS Members|url=http://www.ams.org/notices/200307/inside.pdf|website=ams.org/|publisher=American Mathematical Society|access-date=6 February 2015}}</ref>
Rice died on April 14, 2003 in [[Davis, California]].<ref>{{cite web|title=Deaths of AMS Members|url=http://www.ams.org/notices/200307/inside.pdf|website=ams.org/|publisher=American Mathematical Society|access-date=6 February 2015}}</ref>

Revision as of 17:13, 5 January 2021

Henry Gordon Rice (July 18, 1920 – April 14, 2003)[1][2] was an American logician and mathematician best known as the author of Rice's theorem[3], which he proved in his doctoral dissertation of 1951 at Syracuse University with thesis advisor Paul C. Rosenbloom.[4] Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation in El Segundo.[5][6]

Rice died on April 14, 2003 in Davis, California.[7]

References

  1. ^ "wolframscience.com". Archived from the original on 2017-04-22. Retrieved 2009-08-18.
  2. ^ "Henry Gordon Rice". familySearch.org. Retrieved 14 July 2014.
  3. ISBN 1-57955-008-8
    .
  4. JSTOR 1990888
    .
  5. ^ "Pracniques". Communications of the ACM. 8. Association for Computing Machinery. 1965.
  6. ^ "News Item". Datamation. January–February 1960.
  7. ^ "Deaths of AMS Members" (PDF). ams.org/. American Mathematical Society. Retrieved 6 February 2015.

External links


Flag of United StatesScientist icon

This article about an American mathematician is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Henry_Gordon_Rice&oldid=998497311"