imported>SchlurcherBot: Bot: http → https

2025-08-12T12:17:21Z

Bot: http → https

Neue Seite

'''Henry Gordon Rice''' (* [[18. Juli]] [[1920]]; † [[14. April]] [[2003]])<ref>{{Webarchiv |url=http://www.wolframscience.com/nksonline/index/names/p-s.html |text=Archivierte Kopie |wayback=20120218225554}}</ref><ref>https://www.ams.org/notices/200307/inside.pdf</ref> war ein [[Mathematik]]er und [[Logik]]er. Er wurde vor allem durch seine Arbeit in der [[Theoretische Informatik|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 [[Computer Sciences Corporation|CSC]] in [[El Segundo]] angestellt.<ref>''Datamation'' Januar/Februar 1960, S. 84.</ref>

== Schriften ==
* {{Literatur
|Autor=H. G. Rice
|Titel=Classes of Recursively Enumerable Sets and Their Decision Problems
|Sammelwerk=Transactions of the American Mathematical Society
|Band=Jahrgang 74
|Nummer=2
|Datum=1953-03
|Seiten=358–366
|Sprache=en
|DOI=10.2307/1990888
|JSTOR=1990888}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=|GNDfehlt=ja|GNDCheck=2022-11-05}}

{{SORTIERUNG:Rice, Henry Gordon}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1920]]
[[Kategorie:Gestorben 2003]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Rice, Henry Gordon
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=US-amerikanischer Mathematiker und Logiker
|GEBURTSDATUM=18. Juli 1920
|GEBURTSORT=
|STERBEDATUM=14. April 2003
|STERBEORT=
}}

Henry Gordon Rice - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https