Arroz henry gordon

Arroz henry gordon Llave de datos

Nacimiento	18 de julio de 1920
Muerte	14 de abril de 2003
Nacionalidad	americano
Áreas	matemáticas
Diplomado	Universidad de Siracusa
Director de tesis	Paul C. Rosenbloom  (en)

Henry Gordon Rice ( 1920 - 2003 ), es un lógico y matemático conocido como autor del Teorema de Rice , que demostró en su tesis doctoral en 1951 en la Universidad de Syracuse . También fue profesor de matemáticas en la Universidad de New Hampshire . Después de 1960 fue empleado por la Computer Sciences Corporation en El Segundo .

Propuso un programa en Fortran que codificaba la función de Ackermann .

Notas y referencias

(fr) Este artículo está tomado parcial o totalmente del artículo de Wikipedia en inglés titulado "  Henry Gordon Rice  " ( ver lista de autores ) .

1. (in) "  Muertes de miembros de AMS  " , Avisos Amer. Matemáticas. Soc. ,2003, p.  819 ( leer en línea ).
2. http://www.wolframscience.com/nksonline/index/names/ps.html
3. (en) HG Rice , "  Clase de conjuntos recursivamente enumerables y sus problemas de decisión  " , American Mathematical Society , vol.  74, n o  2Marzo de 1953, p.  358-366 ( DOI  10.2307 / 1990888 , JSTOR  1990888 )
4. (in) "  Prácticas  " , Comunicaciones de la ACM , vol.  8,1965.
5. (in) "  Noticia  " , Datamation  (in) ,Enero-febrero de 1960.
6. HG Rice, recursividad e iteración , Com. ACM, vol. 8, 1965, pág. 114-115.