12-07-2023
Роберт Соловей | |
Robert Solovay | |
Роберт Соловей в 1972 году |
|
Дата рождения: |
15 декабря 1938 (76 лет) |
---|---|
Место рождения: | |
Страна: | |
Научная сфера: |
математика |
Место работы: | |
Учёная степень: |
доктор |
Учёное звание: |
профессор |
Альма-матер: | |
Научный руководитель: | |
Известные ученики: |
Роберт Мартин Соловей (англ. Robert Martin Solovay; 15 декабря 1938, Бруклин) — американский математик, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли.
Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин и Мэттью Форман.
Среди наиболее известных достижений, показывающих (относительно существования недоступных кардиналов), что утверждение: «каждое множество вещественных чисел является измеримым по Лебегу» согласуется с теорией множеств Цермело — Френкеля без аксиомы выбора, а также исключающее понятие 0#. Соловей доказал, что существование вещественно-численного измеримого кардинала является эквипостоянным при существующем измеримом кардинале. Он также доказал, что является строго лимитированным сингулярным кардиналом большим, чем строго малый кардинал, тогда сохраняется. В другой важной работе он доказал, что если является бессчётным постоянным кардиналом, а — постоянным множеством, то может быть разложено на объединение разъединённых постоянных множеств.
В 1970-е годы наряду с Даной Скоттом и Петром Вопенкой (чеш. Petr Vopěnka) разработал теорию булевозначных моделей[en], ставшую значительным направлением в нестандартном анализе.
Имеет ряд достижений и за пределами теории множеств; с Фолькером Штрассеном разработал тест простоты Соловея — Штрассена, который используется для идентификации больших натуральных чисел, являющихся с высокой вероятностью простыми, и который имел важные последствия для развития компьютерной криптографии.
В 2003 году Роберт Соловей, Фолькер Штрассен, Гарри Миллер и Михаэль Рабин получили премию Париса Канеллакиса за вклад в разработку метода вероятностной проверки простоты чисел.
Лауреаты Премии Канеллакиса | |
---|---|
Адлеман, Диффи, Хеллман, Меркл, Ривест, Шамир (1996) • Лемпел[en], Зив[en] (1997) • Брайнт[en], Кларк, Эмерсон, Макмиллан[en] (1998) • Слитор[en], Тарьян (1999) • Кармаркар (2000) • Майерс[en] (2001) • Франашек[en] (2002) • Миллер, Рабин, Соловей, Штрассен (2003) • Фройнд[en], Шапире[en] (2004) • Хольцманн[en], Куршан[en], Варди[en], Вольпе[en] (2005) • Брайтон[en] (2006) • Бухбергер[en] (2007) • Кортес[en], Вапник (2008) • Белларе[en], Рогауэй[en] (2009) • Мельхорн[en] (2010) • Самет[en] (2011) • Бродер[en], Чарикар[en], Индюк[en] (2012) • Блюмоф, Лейзерсон (2013) |
|
Соловэй, Роберт Мартин.