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