Rýže Henry Gordon

Rýže Henry Gordon Klíčové údaje

Narození	18. července 1920
Smrt	14. dubna 2003
Státní příslušnost	americký
Oblasti	matematika
Diplom	Syrakuská univerzita
Dozorce	Paul C. Rosenbloom  (en)

Henry Gordon Rice ( 1920 - 2003 ), je logik a matematik známý jako autor Riceovy věty , kterou prokázal ve své disertační práci v roce 1951 na univerzitě v Syracuse . Byl také profesorem matematiky na University of New Hampshire . Po roce 1960 byl zaměstnán u Computer Sciences Corporation v El Segundo .

Navrhl program ve Fortranu kódující Ackermannovu funkci .

Poznámky a odkazy

(fr) Tento článek je částečně nebo zcela převzat z článku anglické Wikipedie s názvem „  Henry Gordon Rice  “ ( viz seznam autorů ) .

1. (in) „  Úmrtí členů AMS  “ , Oznámení Amer. Matematika. Soc. ,2003, str.  819 ( číst online ).
2. http://www.wolframscience.com/nksonline/index/names/ps.html
3. (in) HG Rice , „  Třída rekurzivně vyčíslitelných množin a jejich problémy s rozhodováním  “ , American Mathematical Society , sv.  74, n O  2Březen 1953, str.  358-366 ( DOI  10.2307 / 1990888 , JSTOR  1990888 )
4. (in) „  Pracniques  “ , Komunikace ACM , sv.  8,1965.
5. (v) „  Novinky  “ , Datamation  (v) ,Leden-únor 1960.
6. HG Rice, rekurze a iterace , Com. ACM, sv. 8, 1965, s. 114-115.