Ричард Шор - Richard Shore

Ричард А. Шор
Ричард Шор.jpg
Родившийся18 августа 1946 г. (1946-08-18) (возраст74)
ГражданствоАмериканец
Альма-матерМассачусетский технологический институт
Научная карьера
ПоляМатематика
УчрежденияКорнелл Университет
ТезисПриоритетные аргументы в теории альфа-рекурсии (1972)
ДокторантДжеральд Э. Сакс

Ричард Арнольд Шор (родился 18 августа 1946 г.) - профессор математики в Корнелл Университет кто работает в теория рекурсии. Он особенно известен своей работой над , частичный порядок Степени Тьюринга.

  • Шор обосновал гипотезу Роджерса об однородности, показав, что существуют степени Тьюринга. и такой, что и , структуры вышеперечисленных степеней и соответственно, не изоморфны.[1]
  • В совместной работе с Теодор Сламан, Шор показал, что Прыжок Тьюринга можно определить в .[2]

Он был в 1983 г. приглашенный спикер Международного конгресса математиков в Варшаве и выступил с докладом Степени неразрешимости: упорядочение функций по относительной вычислимости. В 2009 году он был лектором Гёделя (Обратная математика: игровая площадка логики).[3] Он был редактором с 1984 по 1993 год Журнал символической логики а с 1993 по 2000 гг. Бюллетень символической логики. В 2012 году он стал членом Американское математическое общество.[4]

Рекомендации

  1. ^ Шор, Р.А. (1979). «Гипотеза однородности». Труды Национальной академии наук Соединенных Штатов Америки. 76 (9): 4218–4219. Дои:10.1073 / pnas.76.9.4218. JSTOR  70054. ЧВК  411543. PMID  16592707.
  2. ^ Shore, R.A .; Сламан, Т.А. (1999). «Определение скачка Тьюринга» (PDF). Математика. Res. Латыш. 6 (5–6): 711–722. Архивировано из оригинал (PDF) на 2008-07-09. Получено 2008-07-14.
  3. ^ Гедельские лекции, Ассоциация символической логики
  4. ^ Список членов Американского математического общества, получено 18 июля 2013.

внешняя ссылка