Роберт Соловей: відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Рядок 6:
 
== Внесок у науку ==
Серед найбільш відомих досягнень, які вказують (щодо існування недоступних кардиналів), що твердження: «кожна&nbsp;[[множина]] [[Дійсні числа|дійсних чисел]] є [[Міра Лебега|вимірним по Лебегу]]<nowiki/>» узгоджується з теорією множин Цермело&nbsp;— Френкеля без [[Аксіома вибору|аксіоми вибору]], а також виключає поняття 0<sup>#</sup>. Соловей довів, що існування речовинно-чисельногодійснозначного вимірноївимірного кардинала є еквіпостійним при існуючому вимірному кардиналекардиналі. Він також довів, що <math >\lambda</math> є строго лімітованим сингулярнимисингулярним кардиналом більшим, ніж строго малий кардинал, тоді <math >2^\lambda=\lambda^+</math> зберігається. В іншій важливій роботі він довів, що якщо <math >\kappa</math> є численноюнезлічимим постійним кардиналом, а <math >S\subseteq\kappa</math>&nbsp;— постійнимпостійною безліччюмножиною, то <math >S</math> може бути розкладено на об'єднання <math >\kappa</math> роз'єднаних постійних множин.
 
У 1970-ті роки поряд з [[Дана Скотт|Даною Скотт]]&nbsp;і {{не перекладено |Петр Вопенка|Петром ВопенкойВопенкою|cs|Petr Vopěnka}} розробив теорію {{не перекладено |Булевозначна модель|булевозначних моделей|en|Boolean-valued model}}, яка стала значним напрямком у [[Нестандартний аналіз|нестандартному аналізі]].
 
Має низку досягнень і за межами теорії множин; з [[Фолькер Штрассен|Фолькером Штрассеном]] розробив [[Тест Соловея — Штрассена|тест простоти Соловея&nbsp;— Штрассена]], який використовується для ідентифікації великих [[Натуральні числа|натуральних чисел]], які з високою [[Імовірність|ймовірністю]] є [[Просте число|простими]], і який мав важливі наслідки для розвитку комп'ютерної [[Криптографія|криптографії]].
 
== Нагороди ==