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

Роберт Мартин Соловей (Шаблон:Lang-en; род. 15 декабря 1938, Бруклин) — американский Шаблон:Математик, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли.

Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин и Мэттью Форман.

Вклад в науку

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

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

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

Награды

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

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

• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья