Карл Джокуш - Carl Jockusch

Карл Гроос Джокуш младший
Карл Джокуш.jpg
Карл Джокуш в 1974 году
Родившийся(1941-07-13)13 июля 1941 г.
Сан-Антонио, Техас, США
Супруг (а)Элизабет А. Джокуш
Научная карьера
ТезисСводимости в теории рекурсивных функций  (1966)
ДокторантХартли Роджерс мл.

Карл Гроос Джокуш младший (родился 13 июля 1941 г. в г. Сан Антонио, Техас ) является Американец математик.[1] Он окончил Средняя школа Аламо Хайтс в 1959 г. Университет Вандербильта в Нашвилл, Теннесси, и переведен в Swarthmore College, Пенсильвания в 1960 году, где он получил степень бакалавра искусств. в 1963 году с отличием.[2] Затем он поступил в Массачусетский Институт Технологий. Он является членом Пхи Бета Каппа и Сигма Си.[3] В 2014 году он стал членом Американское математическое общество.[4] Он является почетным профессором Университет Иллинойса в Урбане-Шампейн.

В 1972 году Джокуш и Роберт И. Соаре доказал теорема о низком базисе, важный результат в математическая логика с приложениями к теория рекурсии и обратная математика.

Смотрите также

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

  1. ^ Кто есть кто на Среднем Западе, 1994-1995 годы, 1994, с. 382
  2. ^ Домашняя страница Карла Г. Джокуша
  3. ^ Библиографическая справка в его докторской диссертации (Jockusch, 1966), стр.104.
  4. ^ Список членов Американского математического общества, дата обращения 17.12.2014
  • Jockusch Jr, C.G .; Соаре, Р.И. (1972), "01 Курсы и степени по теории », Труды Американского математического общества, Американское математическое общество, 173: 33–56, Дои:10.2307/1996261, JSTOR  1996261
  • Карл Гроос Джокуш младший (июнь 1966 г.). Сводимости в теории рекурсивных функций (PDF) (Тезис). Массачусетский Институт Технологий. Архивировано из оригинал (PDF) на 2014-09-11.

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