Соловей, Роберт
Роберт Соловей | |
---|---|
англ. Robert Martin Solovay | |
| |
Дата рождения | 15 декабря 1938 (85 лет) |
Место рождения | |
Страна | |
Род деятельности | математик, философ |
Научная сфера | математика |
Место работы | Калифорнийский университет в Беркли |
Альма-матер | Чикагский университет |
Учёная степень | доктор |
Учёное звание | профессор |
Научный руководитель | Саундерс Маклейн |
Ученики | Хью Вудин, Мэттью Форман |
Награды и премии | |
Медиафайлы на Викискладе |
Роберт Мартин Соловей (англ. Robert Martin Solovay; род. 15 декабря 1938, Бруклин) — американский математик, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли.
Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин и Мэттью Форман.
Вклад в науку
[править | править код]Среди наиболее известных достижений, показывающих (относительно существования недоступных кардиналов), что утверждение: «каждое множество вещественных чисел является измеримым по Лебегу» согласуется с теорией множеств Цермело — Френкеля без аксиомы выбора, а также исключающее понятие 0#. Соловей доказал, что существование вещественно-численного измеримого кардинала является эквипостоянным при существующем измеримом кардинале. Он также доказал, что является строго лимитированным сингулярным кардиналом большим, чем строго малый кардинал, тогда сохраняется. В другой важной работе он доказал, что если является бессчётным постоянным кардиналом, а — постоянным множеством, то может быть разложено на объединение разъединённых постоянных множеств.
В 1970-е годы наряду с Даной Скоттом и Петром Вопенкой (чеш. Petr Vopěnka) разработал теорию булевозначных моделей[англ.], ставшую значительным направлением в нестандартном анализе.
Имеет ряд достижений и за пределами теории множеств; с Фолькером Штрассеном разработал тест простоты Соловея — Штрассена, который используется для идентификации больших натуральных чисел, являющихся с высокой вероятностью простыми, и который имел важные последствия для развития компьютерной криптографии.
Награды
[править | править код]В 2003 году Роберт Соловей, Фолькер Штрассен, Гарри Миллер и Михаэль Рабин получили премию Париса Канеллакиса за вклад в разработку метода вероятностной проверки простоты чисел.
Избранные публикации
[править | править код]- Соловей, Роберт М. Модель теории множеств, в которой каждое множество вещественных чисел является измеримым по ЛебегуТ. 92. — С. 1—56. // Анналы математики. Второе издание : журнал. — 1970. —
- Соловей, Роберт М. Неконструктивируемое Δ13 множество целых чиселТ. 127. — С. 50—75. — doi:10.2307/1994631. // Труды Американского математического сообщества : журнал. — 1967. —
- Соловей, Роберт М. и Фолькер Штрассен. Быстрый тест Монте-Карло для простоты (англ.) // SIAM Journal on Computing[англ.] : journal. — 1977. — Vol. 6, no. 1. — P. 84—85. — doi:10.1137/0206006.