Henry Gordon Rice

Henry Gordon Rice (1920-2003[2]), est un logicien et un mathématicien connu comme étant l'auteur du théorème de Rice, qu'il prouva dans sa thèse de doctorat en 1951 à l'université de Syracuse[3]. Il a aussi été professeur de mathématiques à l'université du New Hampshire. Après 1960, il fut employé de la Computer Sciences Corporation à El Segundo[4],[5],[6].

Pour les articles homonymes, voir Rice.

Henry Gordon Rice
Naissance
Décès [1]
Nationalité  Américain
Domaines mathématiques
Diplôme université de Syracuse
Directeur de thèse Paul C. Rosenbloom (en)

Il a proposé un programme en Fortran codant la fonction d'Ackermann[6].

Notes et références
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Henry Gordon Rice » (voir la liste des auteurs).
  1. (en) « Deaths of AMS members », Notices Amer. Math. Soc.,‎ , p. 819 (lire en ligne).
  2. http://www.wolframscience.com/nksonline/index/names/p-s.html
  3. (en) H. G. Rice, « Classes of Recursively Enumerable Sets and Their Decision Problems », American Mathematical Society, vol. 74, no 2,‎ , p. 358–366 (DOI 10.2307/1990888, JSTOR 1990888)
  4. (en) « Pracniques », Communications of the ACM, vol. 8,‎ .
  5. (en) « News Item », Datamation (en),‎ .
  6. H. G. Rice, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115.
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.