🌌МОНИЗМ И ПЛЮРАЛИЗМ ТЕОРИИ МНОЖЕСТВ

Все мы знаем, что теория множеств претендует на роль одного из фундаментальных языков математики.

Но почему она имеет именно такую форму?
Почему содержит именно такие аксиомы?


🧭 Необходимость или контингентность оснований?


Что, если бы мы попали в альтернативную историческую ветку, где математический анализ (напомню - теория множеств исторически выросла во многом из проблем анализа). Так вот, что если математический анализ развивался бы не через привычные пределы, а через гипердействительные числа?

А ведь в этом случае на первый план могла выйти гипотеза континуума, как естественная аксиома, необходимая для анализа через гипердействительные.

И мы бы имели совсем другую стандартную теорию множеств.

📚 Мне кажется, в литературе острый недостаток математических попаданцев😀


🧠Какая математическая реальность настоящая?


Существует ли некоторая единая истинная вселенная множеств, а разные модели лишь еë частичные отражения? Или математических миров много?


🛠 Как создаются такие миры?


🔹 форсинг;
🔹 внутренние модели;
🔹 ультрапроизведения и ультрастепени через ультрафильтры.

Заодно чуть понятнее станет, что же сделали Гёдель и Коэн для доказательства независимости аксиомы выбора и гипотезы континуума.


🧩 Вернёмся к вопросу - открывается математика или изобретается?


Значит ли плюралистический подход, что теория множеств — просто человеческое изобретение?

Или можно оставаться платонистом и верить в математический мультиверс?

Об этом мы в ближайшее время и поговорим...