Henry Gordon Rice (18 de julio de 1920 - 14 de abril de 2003) [1] [2] fue un lógico y matemático estadounidense mejor conocido como el autor del teorema de Rice , que demostró en su tesis doctoral de 1951 en la Universidad de Syracuse con un asesor de tesis Paul C. Rosenbloom . [3] Rice también fue profesor de matemáticas en la Universidad de New Hampshire. Después de 1960 fue empleado por Computer Sciences Corporation en El Segundo . [4] [5]
Rice murió el 14 de abril de 2003 en Davis, California . [6]
Referencias
- ^ "wolframscience.com" . Archivado desde el original el 22 de abril de 2017 . Consultado el 18 de agosto de 2009 .
- ^ "Henry Gordon Rice" . familySearch.org . Consultado el 14 de julio de 2014 .
- ^ Rice, HG (marzo de 1953). "Clases de conjuntos recursivamente enumerables y sus problemas de decisión" . Transacciones de la American Mathematical Society . Sociedad Matemática Estadounidense. 74 (2): 358–366. doi : 10.2307 / 1990888 . JSTOR 1990888 .
- ^ "Prácticas" . Comunicaciones de la ACM . Asociación para Maquinaria de Computación. 8 . 1965.
- ^ "Noticia" . Datamación . Enero-febrero de 1960.
- ^ "Muertes de miembros de AMS" (PDF) . ams.org/ . Sociedad Matemática Estadounidense . Consultado el 6 de febrero de 2015 .