Роберт И. Соаре - Robert I. Soare

Роберт И. Соаре

Роберт Ирвинг Соаре является Американец математик. Он является почетным профессором математики и компьютерных наук Пола Сноудена Рассела в Чикагский университет, где он работает на факультете с 1967 года. Вместе с Карл Джокуш, то теорема о низком базисе, и проделал другую работу в математическая логика, в первую очередь в районе теория вычислимости.

В 2012 году он стал членом Американское математическое общество.[1]

Избранные публикации

  • Соаре, Р. (1987). Рекурсивно перечислимые множества и степени. Перспективы математической логики. Springer-Verlag. ISBN  3-540-15299-7.
  • К. Г. Джокуш-младший и Р. И. Соаре, «(0, 1) Классы и степени теории» в трудах Американского математического общества (1972).[1]

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

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

  1. ^ Список членов Американского математического общества, получено 26 июля 2013.

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