Henry Gordon Rice
Henry Gordon Rice (* 18. Juli 1920; † 14. April 2003)[1][2] war ein Mathematiker und Logiker. Er wurde vor allem durch seine Arbeit in der Theoretischen Informatik bekannt, die schließlich zu dem nach ihm benannten Satz von Rice führte. Den Beweis hierzu gab er in seiner Dissertation 1951 an der Syracuse University. Er lehrte als Professor der Mathematik an der University of New Hampshire und war ab 1960 bei CSC in El Segundo angestellt.[3]
Schriften
- H. G. Rice: Classes of Recursively Enumerable Sets and Their Decision Problems. In: Transactions of the American Mathematical Society. Jg. 74, Nr. 2 (März 1953), S. 358–366, doi:10.2307/1990888.
Einzelnachweise
- Archivierte Kopie (Memento des Originals vom 18. Februar 2012 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- http://www.ams.org/notices/200307/inside.pdf
- Datamation Januar/Februar 1960, S. 84.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.