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

редактировать

Роберт М. Соловей
Роберт Соловей в 1983 году (фото Джорджа Бергмана)
Родился	(1938-12-15) 15 декабря 1938 (возраст 81). Бруклин, Нью-Йорк, США
Национальность	Американец
Alma mater	Чикагский университет
Награды	Премия Пэрис Канеллакис (2 003)
Научная карьера
Области	Математика
Учреждения	Калифорнийский университет, Беркли
Советник докторантуры	Сондерс Мак Лейн
Докторанты	Мэтью Форман. Джудит Ройтман. В. Хью Вудин

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

Содержание

1 Биография
2 Работа
3 Избранные публикации
4 См. Также
5 Ссылки
6 Внешние ссылки

Биография

Соловай получил степень доктора философии из Чикагского университета в 1964 году под руководством Сондерса Мак Лейна, с диссертацией по функциональной форме дифференцируемой теоремы Римана – Роха. Соловей провел свою карьеру в Калифорнийском университете в Беркли, где получил степень доктора философии. среди студентов W. Хью Вудин и Мэтью Форман.

Работа

Теоремы Соловея включают:

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

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

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

См. Также

Логика проверки

Ссылки

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

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