Роберт Соловей: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Ilya (обговорення | внесок) |
|||
Рядок 6:
== Внесок у науку ==
Серед найбільш відомих досягнень, які вказують (щодо існування недоступних кардиналів), що твердження: «кожна [[множина]] [[Дійсні числа|дійсних чисел]] є [[Міра Лебега|вимірним по Лебегу]]<nowiki/>» узгоджується з теорією множин Цермело — Френкеля без [[Аксіома вибору|аксіоми вибору]], а також виключає поняття 0<sup>#</sup>. Соловей довів, що існування
У 1970-ті роки поряд з [[Дана Скотт|Даною Скотт]] і {{не перекладено |Петр Вопенка|Петром
Має низку досягнень і за межами теорії множин; з [[Фолькер Штрассен|Фолькером Штрассеном]] розробив [[Тест Соловея — Штрассена|тест простоти Соловея — Штрассена]], який використовується для ідентифікації великих [[Натуральні числа|натуральних чисел]], які з високою [[Імовірність|ймовірністю]] є [[Просте число|простими]], і який мав важливі наслідки для розвитку комп'ютерної [[Криптографія|криптографії]].
== Нагороди ==
|