Соловей, Роберт

Роберт Мартин Соловей родился 15 декабря 1938 года в Бруклине (штат Нью-Йорк). Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин, Мэттью Форман, Кеннет Макалун, Стивен Хехлер, Джудит Ройтман и другие^[1]. В 1965 году начал работать в Калифорнийском университете в Беркли, где занимал должность профессора до выхода на пенсию в 1994 году, после чего получил статус почётного профессора (эмерита).

Среди наиболее известных достижений, показывающих (относительно существования недоступных кардиналов), что утверждение: «каждое множество вещественных чисел является измеримым по Лебегу» согласуется с теорией множеств Цермело — Френкеля без аксиомы выбора, а также исключающее понятие 0^#. Соловей доказал, что существование вещественно-численного измеримого кардинала является эквипостоянным при существующем измеримом кардинале. Он также доказал, что ${\displaystyle \lambda }$ является строго лимитированным сингулярным кардиналом большим, чем строго малый кардинал, тогда ${\displaystyle 2^{\lambda }=\lambda ^{+}}$ сохраняется. В другой важной работе он доказал, что если ${\displaystyle \kappa }$ является бессчётным постоянным кардиналом, а ${\displaystyle S\subseteq \kappa }$ — постоянным множеством, то ${\displaystyle S}$ может быть разложено на объединение ${\displaystyle \kappa }$ разъединённых постоянных множеств. Совместно со Стэнли Тенненбаумом разработал метод итерированного форсинга, с помощью которого была доказана непротиворечивость гипотезы Суслина. Модель Соловея остаётся фундаментальным объектом в теории множеств и служит основой для современных исследований, включая разработку «высших моделей Соловея» (в частности, в работах Чезаре Страффелини, Себастьяно Теи и Йиндржиха Заплетала в 2026 году)^[2][3].

В 1970-е годы наряду с Даной Скоттом и Петром Вопенкой разработал теорию булевозначных моделей, ставшую значительным направлением в нестандартном анализе.

Имеет ряд достижений и за пределами теории множеств; с Фолькером Штрассеном разработал тест простоты Соловея — Штрассена, который используется для идентификации больших натуральных чисел, являющихся с высокой вероятностью простыми, и который имел важные последствия для развития компьютерной криптографии, хотя в современной практической криптографии он фактически вытеснен тестом Миллера — Рабина^[4].

В области квантовых вычислений в соавторстве с Алексеем Китаевым доказал теорему Соловея — Китаева, показывающую, что любой унитарный оператор на одном кубите может быть эффективно аппроксимирован с помощью конечного набора квантовых гейтов.

• В 1994 году избран членом Американской академии искусств и наук^[5].
• В 2003 году Роберт Соловей, Фолькер Штрассен, Гарри Миллер и Михаэль Рабин получили премию Париса Канеллакиса за вклад в разработку метода вероятностной проверки простоты чисел.