Henry Gordon Rice

US-amerikanischer Mathematiker und Logiker Aus Wikipedia, der freien Enzyklopädie

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. Jahrgang 74, Nr. 2, März 1953, S. 358–366, doi:10.2307/1990888, JSTOR:1990888 (englisch).

Einzelnachweise

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.