Роберт И. Соаре
 |
Роберт Ирвинг Соаре — американский математик . Он — заслуженный профессор математики и компьютерных наук имени Пола Сноудена Рассела в Чикагском университете , где он преподает с 1967 года. Он доказал вместе с Карлом Джокушем теорему о низком базисе и выполнил другие работы в области математической логики , в первую очередь в области теории вычислимости . Среди его докторантов в Чикагском университете была Барбара Чима . [1]
В 2012 году он стал членом Американского математического общества . [2]
Избранные публикации
- Соаре, Р. (2016). Вычислимость Тьюринга - Теория и приложения . Springer-Verlag. ISBN 978-3-642-31932-7.
- Soare, R. (1987). Рекурсивно перечислимые множества и степени . Перспективы математической логики. Springer-Verlag. ISBN 3-540-15299-7.
- CG Jockusch Jr. и RI Soare, «Π(0, 1) Классы и степени теорий» в Трудах Американского математического общества (1972). [1]
Смотрите также
Ссылки
- ^ Роберт И. Соаре в проекте «Генеалогия математики»
- ↑ Список членов Американского математического общества, получен 26 июля 2013 г.
Внешние ссылки
- Профессиональная домашняя страница
   | Эта статья об американском математике — заглушка . Вы можете помочь Википедии, дополнив ее. |
