Аксиома детерминированности: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Это довольно бессмысленное примечание, которое математику будет неинтересно, а неопытного читателя может ввести в заблуждение.
Строка 3:
В классических разделах математики ([[теория чисел]], [[математический анализ]] и др.) замена '''AC''' на '''AD''' ничего не меняет, но в теории множеств и [[топология|топологии]] следствия из аксиомы детерминированности во многом существенно отличаются от следствий аксиомы выбора. Например, из '''AD''' следует, что все множества вещественных чисел измеримы, [[континуум-гипотеза|проблема континуума]] решается однозначно (промежуточных мощностей не существует), парадокс удвоения шара не возникает.
 
Аксиома детерминированности уже самим своим существованием вызвала большой интерес у специалистов по основаниям математики, ей посвящено немало публикаций{{sfn |Кановей В. Г.|1985|с=5, 15}}, особенно в области [[Дескриптивная теория множеств|дескриптивной теории множеств]]. По мнению сторонников этой аксиомы, ситуация в теории множеств сейчас напоминает положение после открытия [[Неевклидова геометрия|неевклидовой геометрии]] — можно признать, что существует не одна теория множеств, а по крайней мере две, и вопрос о том, какая из них правильная, лишён смысла. Сторонники отмечают также, что теория множеств на основе аксиомы детерминированности более согласована с математической интуицией, чем на основе аксиомы выбора<ref name=K3/>{{sfn |Кановей В. Г.|1984|с=29}}.
 
== Детерминированные игры ==