Роберт М. Соловей - Robert M. Solovay

Роберт М. Соловей
Роберт М. Соловей
	Роберт Соловей в 1983 году (фото Джорджа Бергмана)
Родившийся	15 декабря 1938 г. (возраст 81); Бруклин, Нью-Йорк, НАС.
Национальность	Американец
Альма-матер	Чикагский университет
Награды	Премия Пэрис Канеллакис (2003)
	Научная карьера
Поля	Математика
Учреждения	Калифорнийский университет в Беркли
Докторант	Saunders Mac Lane
Докторанты	Мэтью Форман; Джудит Ройтман; В. Хью Вудин

Роберт Мартин Соловей (родился 15 декабря 1938 г.) Американец математик специализируясь на теория множеств.

биография

Соловай заработал Кандидат наук. от Чикагский университет в 1964 г. под руководством Saunders Mac Lane, с диссертацией на Функториальная форма дифференцируемого Теорема Римана – Роха.^[1] Соловай провел свою карьеру в Калифорнийский университет в Беркли, где получил степень доктора философии. студенты включают В. Хью Вудин и Мэтью Форман.^[2]

Работа

К теоремам Соловея относятся:

Теорема Соловея показывая, что, если предположить существование недоступный кардинал, то утверждение "каждые набор из действительные числа является Измеримый по Лебегу " согласуется с ZF без аксиома выбора;
Изоляция понятия 0^#;
Доказывая, что существование действительный измеримый кардинал является равноправный при наличии измеримого кардинала;
Доказывая, что если ${ displaystyle lambda}$ это сильный предел единичный кардинал, больше чем сильно компактный кардинал тогда ${ displaystyle 2 ^ { lambda} = lambda ^ {+}}$ держит;
Доказывая, что если ${ displaystyle kappa}$ является несчетным обычным кардиналом, и ${ Displaystyle S substeq kappa}$ это стационарный набор, тогда ${ displaystyle S}$ можно разложить на объединение ${ displaystyle kappa}$ непересекающиеся стационарные множества;
С Стэнли Тенненбаум, развивая метод итеративного форсинга и демонстрируя непротиворечивость Гипотеза Суслина.
С Дональд А. Мартин, показал постоянство Аксиома Мартина со сколь угодно большим мощность континуума.
Вне теории множеств, развитие (с Фолькер Штрассен ) Тест на простоту Соловея – Штрассена, используется для определения больших натуральные числа которые основной с высоким вероятность. Этот метод имел значение для криптография.
Вместе с Т. П. Бейкером Дж. Гилл доказал, что релятивизирующие аргументы не могут доказать ${ Displaystyle P neq NP}$ .^[3]
Доказывая, что GL ( нормальная модальная логика который имеет экземпляры схемы ${ Displaystyle Box ( Box A to A) to Box A}$ в качестве дополнительных аксиом) полностью аксиоматизирует логику предиката доказуемости Арифметика Пеано.
С Алексей Китаев, доказывая, что конечный набор квантовые ворота может эффективно аппроксимировать произвольный унитарный оператор на одной кубит.

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

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

Смотрите также

Логика доказуемости

внешняя ссылка

Роберт М. Соловей на Проект "Математическая генеалогия"
Роберт Соловей в DBLP Сервер библиографии

[1] Роберт М. Соловей на Проект "Математическая генеалогия"

[2] ttps://math.berkeley.edu/people/faculty/robert-m-solovay

[3] Эмерсон, Т. (1994-10-10). «Релятивизации вопроса P =? NP над вещественными числами (и другими упорядоченными кольцами)». Теоретическая информатика. 133 (1): 15–22. Дои:10.1016/0304-3975(94)00068-9. ISSN 0304-3975.

[1]

[2]

[3]