Теорема о низкой базе, установленная в 1972 году, служит краеугольным камнем теории рекурсии и обратной математики. Этот результат, разработанный совместно с Робертом И. Соаре, остается одним из главных вкладов американского математика Карла Груса Джокуша-младшего в область математической логики. Его академическая карьера отражает давнюю приверженность строгости абстрактных формальных систем.
Раннее образование и академический фундамент
Карл Грус Джокуш-младший родился в 1941 году в Сан-Антонио, штат Техас, и в 1959 году окончил среднюю школу Аламо-Хайтс. Его обучение в бакалавриате началось в Университете Вандербильта в Нэшвилле, штат Теннесси, прежде чем в 1960 году он перевелся в Суортмор-колледж в Пенсильвании. В 1963 году он с отличием окончил Суортмор. Впоследствии он продолжил обучение в Массачусетском технологическом институте, завершив в июне 1966 года свою докторскую диссертацию под названием «Сводимости в теории рекурсивных функций».
Вклад в математическую логику
Джокуш специализируется на математической логике и теории рекурсии. Его самым значительным совместным достижением стала публикация в 1972 году статьи «Классы Pi 0 1 и степени теорий» в журнале Transactions of the American Mathematical Society. В этой работе была сформулирована теорема о низкой базе, которая предоставляет техническую основу для понимания степеней теорий и остается предметом изучения в современной математической логике. Концепция форсинга Джокуша-Соаре носит его имя, что свидетельствует о его влиянии на техническую эволюцию области.
Институциональная карьера и признание
Джокуш провел большую часть своей профессиональной жизни в Иллинойсском университете в Урбане-Шампейне, где в конечном итоге получил статус почетного профессора. На протяжении всей своей карьеры он активно участвовал в работе академических организаций, включая членство в Американском математическом обществе, Ассоциации символической логики, обществе Phi Beta Kappa и Sigma Xi. В 2014 году Американское математическое общество признало его устойчивый вклад в дисциплину, избрав его членом общества (фелло), что было официально оформлено в 2015 году.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Рождение: 13 июля 1941, Сан-Антонио, Техас - Степень бакалавра: B.A., Суортмор-колледж, 1963 - Докторская степень: Массачусетский технологический институт, 1966 - Основная область: Математическая логика и теория рекурсии - Значимый результат: Теорема о низкой базе (1972) - Профессиональная принадлежность: Иллинойсский университет в Урбане-Шампейне - Награда: Член Американского математического общества, 2015
Вопросы читателей
### Что такое теорема о низкой базе?
Это фундаментальный результат в математической логике и теории рекурсии, доказанный Карлом Джокушем и Робертом И. Соаре в 1972 году.
### Где Карл Джокуш занимал профессорскую должность?
Он работал профессором в Иллинойсском университете в Урбане-Шампейне, где в настоящее время является почетным профессором.
