Henry Gordon Rice

Henry Gordon Rice
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 82 ans)
Nationalité
Formation
Activité
Autres informations
Directeur de thèse
Paul C. Rosenbloom (en)Voir et modifier les données sur Wikidata

Henry Gordon Rice (1920-2003[1]), 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[2]. 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[3],[4],[5].

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

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) « Stephen Wolfram : A New Kind of Science », sur wolframscience.com via Wikiwix (consulté le ).
  2. (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)
  3. (en) « Pracniques », Communications of the ACM, vol. 8,‎ .
  4. (en) « News Item », Datamation (en),‎ .
  5. a et b H. G. Rice, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115.

Liens externes