Роберт И. Сан
(Перенаправлено с Роберта Соаре )
![]() |

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