Henry Gordon Rice
From Wikipedia, the free encyclopedia
Henry Gordon Rice
| Naissance | |
|---|---|
| Décès |
(à 82 ans) |
| Nationalité | |
| Formation | |
| Activité |
| Directeur de thèse |
Paul C. Rosenbloom (en) |
|---|
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].
