Карл Йокуш
Карл Гроос Йокуш-младший. | |
|---|---|
 Карл Йокуш в 1974 году | |
| Рожденный | ( 1941-07-13 )13 июля 1941 г. Сан-Антонио, Техас, США |
| Супруг | Элизабет А. Джокуш |
| Научная карьера | |
| Тезис | Сводимости в теории рекурсивных функций (1966) |
| научный руководитель | Хартли Роджерс-младший. |
Карл Гроос Джокуш-младший (родился 13 июля 1941 года в Сан-Антонио , штат Техас ) — американский математик . [1] В 1959 году он окончил среднюю школу Аламо-Хайтс , затем поступил в Университет Вандербильта в Нэшвилле , штат Теннесси , и в 1960 году перевелся в колледж Суортмор , штат Пенсильвания , где в 1963 году получил степень бакалавра с отличием. [2] Затем он поступил в Массачусетский технологический институт . Является членом Phi Beta Kappa и Sigma Xi . [3] В 2014 году он стал членом Американского математического общества . [4] Является почетным профессором Иллинойсского университета в Урбане-Шампейне .
В 1972 году Джокуш и Роберт И. Соаре доказали теорему о низком базисе — важный результат в математической логике , имеющий приложения к теории рекурсии и обратной математике .
Смотрите также
Ссылки
- ↑ Кто есть кто на Среднем Западе, 1994-1995, 1994, стр. 382
- ^ Домашняя страница Карла Г. Йокуша
- ^ Библиографическая заметка в его докторской диссертации (Йокуш, 1966), стр.104
- ↑ Список членов Американского математического общества, получен 17 декабря 2014 г.
- Джокуш-младший, К. Г.; Соаре, Р. И. (1972), «Π 0 1 Классы и степени теорий», Труды Американского математического общества , 173 , Американское математическое общество: 33–56, doi : 10.2307/1996261, JSTOR 1996261
- Карл Гроос Йокуш-младший (июнь 1966 г.). Сводимости в теории рекурсивных функций (PDF) (диссертация). Массачусетский технологический институт. Архивировано из оригинала (PDF) 2014-09-11.
Внешние ссылки
- Профессиональная домашняя страница
- Карл Йокуш в проекте «Генеалогия математики»
   | Эта статья об американском математике — заглушка . Вы можете помочь Википедии, расширив ее. |
