Соловей Роберт (Robert Nightingale).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

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

 ›

Роберт Соловей
Robert Solovay
Роберт Соловей в 1972 году
Дата рождения:

15 декабря 1938 (76 лет)

Место рождения:

Бруклин

Страна:

 США

Научная сфера:

математика

Место работы:

Калифорнийский университет в Беркли

Учёная степень:

доктор

Учёное звание:

профессор

Альма-матер:

Чикагский университет

Научный руководитель:

Саундерса Маклейна

Известные ученики:

Хью Вудин, Мэттью Форман

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

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

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

Содержание
  • Вклад в науку
  • Награды
  • Избранные публикации
  • Ссылки
Вклад в науку

Среди наиболее известных достижений, показывающих (относительно существования недоступных кардиналов), что утверждение: «каждое множество вещественных чисел является измеримым по Лебегу» согласуется с теорией множеств Цермело - Френкеля без аксиомы выбора, а также исключающее понятие 0#. Соловей доказал, что существование вещественно-численного измеримого кардинала является эквипостоянным при существующем измеримом кардинале. Он также доказал, что является строго лимитированным сингулярным кардиналом большим, чем строго малый кардинал, тогда сохраняется. В другой важной работе он доказал, что если является бессчётным постоянным кардиналом, а  - постоянным множеством, то может быть разложено на объединение разъединённых постоянных множеств.

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

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

Награды

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

Избранные публикации
  • Соловей, Роберт М. (1970). «Модель теории множеств, в которой каждое множество вещественных чисел является измеримым по Лебегу». Анналы математики. Второе издание 92: 1–56.
  • Соловей, Роберт М. (1967). «Неконструктивируемое Δ13 множество целых чисел». Труды Американского математического сообщества 127: 50–75. DOI:10.2307/1994631.
  • Соловей, Роберт М. и Фолькер Штрассен (1977). «Быстрый тест Монте-Карло для простоты». SIAM Journal on Computing 6 (1): 84–85. DOI:10.1137/0206006.

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-07-18