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