Просмотр кода страницы Соловей, Роберт

{{Однофамильцы|Соловей (значения){{!}}Соловей}}
{{Учёный
| Имя = Роберт Соловей
| Оригинал имени = {{lang-en|Robert Martin Solovay}}
| Изображение = 
| Ширина = 250px
| Описание изображения = Роберт Соловей в 1972 году
| Место рождения = 
| Место смерти = 
| Научная сфера = математика
| Место работы = [[Калифорнийский университет в Беркли]]
| Учёная степень = доктор
| Учёное звание = профессор
| Альма-матер = [[Чикагский университет]]
| Научный руководитель = [[Маклейн, Саундерс|Саундерс Маклейн]]
| Знаменитые ученики = [[Хью Вудин]], [[Мэттью Форман]]
| Известен как = 
| Награды и премии = 
| Роспись = 
| Ширина росписи = 
| Сайт = 
| Викитека = 
}}

'''Роберт Мартин Соловей''' ({{lang-en|Robert Martin Solovay}}; род. [[15 декабря]] [[1938]], [[Бруклин]]) — американский {{математик|США|XX века|XXI века}}, работающий в области [[теория множеств|теории множеств]], много лет занимал должность профессора в [[Калифорнийский университет в Беркли|Калифорнийском университете в Беркли]].

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

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

В 1970-е годы наряду с [[Скотт, Дана|Даной Скоттом]] и {{нп2|Вопенка, Петр|Петром Вопенкой|cs|Petr Vopěnka}} разработал теорию {{iw|Булевозначная модель|булевозначных моделей|en|Boolean-valued model}}, ставшую значительным направлением в [[Нестандартный анализ|нестандартном анализе]].

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

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

== Избранные публикации ==
* {{статья |заглавие=Модель теории множеств, в которой каждое множество вещественных чисел является измеримым по Лебегу |издание=Анналы математики. Второе издание |том=92 |страницы=1—56 |язык=ru |тип=журнал |автор=Соловей, Роберт М. |год=1970}}
* {{статья |заглавие=Неконструктивируемое ''Δ<sup>1</sup><sub>3</sub>'' множество целых чисел |издание=Труды Американского математического сообщества |том=127 |страницы=50—75 |doi=10.2307/1994631 |язык=ru |тип=журнал |автор=Соловей, Роберт М. |год=1967}}
* {{статья |издание={{Нп3|SIAM Journal on Computing}} |заглавие=Быстрый тест Монте-Карло для простоты |том=6 |номер=1 |страницы=84—85 |doi=10.1137/0206006 |язык=en |автор=Соловей, Роберт М. и Фолькер Штрассен |год=1977 |тип=journal}}

== Ссылки ==

{{Лауреаты премии Париса Канеллакиса}}

{{Внешние ссылки}}

[[Категория:Члены Национальной академии наук США]]
[[Категория:Родившиеся в Бруклине]]