Riso Henry Gordon

Riso Henry Gordon Dati chiave

Nascita	18 luglio 1920
Morte	14 aprile 2003
Nazionalità	Americano
le zone	matematica
Diploma	Syracuse University
Supervisore	Paul C. Rosenbloom  (en)

Henry Gordon Rice ( 1920 - 2003 ), è un logico e matematico noto come l'autore del Teorema di Rice , che ha dimostrato nella sua tesi di dottorato nel 1951 alla Syracuse University . Era anche professore di matematica all'Università del New Hampshire . Dopo il 1960 è stato impiegato presso la Computer Sciences Corporation a El Segundo .

Ha proposto un programma in Fortran che codifica la funzione di Ackermann .

Note e riferimenti

(fr) Questo articolo è parzialmente o interamente tratto dall'articolo di Wikipedia in inglese intitolato "  Henry Gordon Rice  " ( vedi elenco degli autori ) .

1. (in) "  Morti di membri AMS  " , Avvisi Amer. Matematica. Soc. ,2003, p.  819 ( leggi in linea ).
2. http://www.wolframscience.com/nksonline/index/names/ps.html
3. (in) HG Rice , "  Class of Recursively Enumerable Sets and Their Decision Problems  " , American Mathematical Society , vol.  74, n o  2Marzo 1953, p.  358-366 ( DOI  10.2307 / 1990888 , JSTOR  1990888 )
4. (in) "  Pracniques  " , Communications of the ACM , vol.  8,1965.
5. (in) "  Articolo di notizie  " , Datamation  (in) ,Gennaio-febbraio 1960.
6. HG Riso, ricorsione e iterazione , Com. ACM, vol. 8, 1965, p. 114-115.