Генри Гордон Райс
Генри Гордон Райс (18 июля 1920 г. - 14 апреля 2003 г.) [1] [2] американский логик и математик, наиболее известный как автор теоремы Райс , которую он доказал в своей докторской диссертации 1951 года в Сиракузском университете под руководством Пола К. Розенблума . [3] Райс также была профессором математики в Университете Нью-Гэмпшира . После 1960 года он работал в Корпорации компьютерных наук в Эль-Сегундо . [4] [5]
Райс умерла 14 апреля 2003 года в Дэвисе, Калифорния . [6]
Ссылки [ править ]
- ^ «Вольфрамсайенс.com» . Архивировано из оригинала 22 апреля 2017 г. Проверено 18 августа 2009 г.
- ^ «Генри Гордон Райс» . FamilySearch.org . Проверено 14 июля 2014 г.
- ^ Райс, Х.Г. (март 1953 г.). «Классы рекурсивно перечислимых множеств и проблемы их решения» . Труды Американского математического общества . 74 (2). Американское математическое общество: 358–366. дои : 10.2307/1990888 . JSTOR 1990888 .
- ^ «Практики» . Коммуникации АКМ . 8 . Ассоциация вычислительной техники. 1965.
- ^ «Новостной сюжет» . Датаматизация . Январь – февраль 1960 г.
- ^ «Смерть членов AMS» (PDF) . ams.org/ . Американское математическое общество . Проверено 6 февраля 2015 г.