Ричард Арнольд Шор (родился 18 августа 1946 г.), профессор математики Корнельского университета , занимается теорией рекурсии . Он особенно известен своей работой над, частичный порядок степеней Тьюринга .
- Шор обосновал гипотезу Роджерса об однородности, показав, что существуют степени Тьюринга. а также такой, что а также , структуры вышеперечисленных степеней а также соответственно, не изоморфны. [1]
- В совместной работе с Теодором Сламаном Шор показал, что прыжок Тьюринга можно определить в. [2]
Ричард А. Шор | |
---|---|
Родившийся | 18 августа 1946 г. (возраст | 74)
Гражданство | Американец |
Альма-матер | Массачусетский технологический институт |
Научная карьера | |
Поля | Математика |
Учреждения | Cornell University |
Тезис | Приоритетные аргументы в теории альфа-рекурсии (1972) |
Докторант | Джеральд Э. Сакс |
В 1983 году он был приглашенным докладчиком на Международном конгрессе математиков в Варшаве и выступил с докладом «Степени неразрешимости: упорядочение функций по относительной вычислимости» . В 2009 году он был лектором Гёделя ( обратная математика: игровая площадка логики ). [3] С 1984 по 1993 год он был редактором Журнала символической логики и с 1993 по 2000 год Бюллетеня символической логики . В 2012 году он стал членом Американского математического общества . [4]
Рекомендации
- Перейти ↑ Shore, RA (1979). «Гипотеза однородности» . Труды Национальной академии наук Соединенных Штатов Америки . 76 (9): 4218–4219. DOI : 10.1073 / pnas.76.9.4218 . JSTOR 70054 . PMC 411543 . PMID 16592707 .
- ^ Шор, РА; Сламан, Т.А. (1999). «Определение скачка Тьюринга» (PDF) . Математика. Res. Lett . 6 (5–6): 711–722. DOI : 10.4310 / MRL.1999.v6.n6.a10 . Архивировано из оригинального (PDF) 09.07.2008 . Проверено 14 июля 2008 .
- ^ Лекции Гёделя, Ассоциация символической логики
- ^ Список членов Американского математического общества , получено 18 июля 2013 г.