(Перенаправлено Робертом Соаре )
Перейти к навигации Перейти к поискуРоберт Ирвинг Соар - американский математик . Он является почетным профессором математики и информатики Пола Сноудена Рассела в Чикагском университете , где он работает с 1967 года. Вместе с Карлом Джокушем он доказал теорему о низком базисе и выполнил другую работу в области математики. логика , прежде всего в области теории вычислимости .
В 2012 году он стал членом Американского математического общества . [1]
Избранные публикации [ править ]
- Соаре, Р. (1987). Рекурсивно перечислимые множества и степени . Перспективы математической логики. Springer-Verlag. ISBN 3-540-15299-7.
- К.Г. Джокуш-младший и Р.И. Соар, «(0, 1) Классы и степени теорий» в трудах Американского математического общества (1972). [1]
См. Также [ править ]
Ссылки [ править ]
- ^ Список членов Американского математического общества , получено 26 июля 2013 г.