Henry gordon riisi
Henry gordon riisi
Henry Gordon Rice ( 1920 - 2003 ) on logiikka ja matemaatikko, joka tunnetaan Rice'in lauseen kirjoittajana , jonka hän osoitti väitöstyössään vuonna 1951 Syracuse-yliopistossa . Hän oli myös matematiikan professori New Hampshiren yliopistossa . Vuoden 1960 jälkeen hän oli työssä Computer Sciences Corporation in El Segundo .
Hän ehdotti Fortranissa Ackermann-toimintoa koodaavaa ohjelmaa .
Huomautuksia ja viitteitä
(fr) Tämä artikkeli on osittain tai kokonaan otettu
englantilaisen Wikipedian artikkelista
" Henry Gordon Rice " ( katso luettelo tekijöistä ) .
-
(in) " AMS: n jäsenten kuolemat " , Ilmoitukset Amer. Matematiikka. Soc. ,2003, s. 819 ( lue verkossa ).
-
http://www.wolframscience.com/nksonline/index/names/ps.html
-
(in) HG Rice , " Rekursiivisesti lukemattomien joukkojen luokka ja niiden päätösongelmat " , American Mathematical Society , voi. 74, n ° 2Maaliskuu 1953, s. 358-366 ( DOI 10.2307 / 1990888 , JSTOR 1990888 )
-
(in) " Pracniques " , ACM: n tiedonannot , voi. 8,1965.
-
(in) " Uutiset " , Datamation (in) ,Tammi-helmikuu 1960.
-
HG-riisi, rekursio ja iteraatio , Com. ACM, voi. 8, 1965, s. 114-115.