Henry Gordon Rice - Henry Gordon Rice

Henry Gordon Rice (18. července 1920 - 14. dubna 2003)[1][2] byl americký logik a matematik nejlépe známý jako autor Riceova věta, kterou prokázal ve své disertační práci z roku 1951 v Syrakuská univerzita s vedoucím diplomové práce Paul C. Rosenbloom.[3] Rice byl také profesorem matematiky na University of New Hampshire. Po roce 1960 byl zaměstnán u Computer Sciences Corporation v El Segundo.[4][5]

Rice zemřel 14. dubna 2003 v Davis, Kalifornie.[6]

Reference

  1. ^ „wolframscience.com“. Archivovány od originál dne 2017-04-22. Citováno 2009-08-18.
  2. ^ „Henry Gordon Rice“. familySearch.org. Citováno 14. července 2014.
  3. ^ Rice, H. G. (březen 1953). „Třídy rekurzivně vyčíslitelných sad a jejich problémy s rozhodováním“. Transakce Americké matematické společnosti. Americká matematická společnost. 74 (2): 358–366. doi:10.2307/1990888. JSTOR  1990888.
  4. ^ "Pracniques". Komunikace ACM. Sdružení pro výpočetní techniku. 8. 1965.
  5. ^ "Novinka". Datamace. Leden – únor 1960.
  6. ^ „Úmrtí členů AMS“ (PDF). ams.org/. Americká matematická společnost. Citováno 6. února 2015.

externí odkazy