«Мы больше ничего не можем доказать до конца». Учёные поняли: вся математика держится на честном слове

Страницы: 1 2  ОТВЕТИТЬ НОВАЯ ТЕМА
Параслов 2 мая 2026 в 14:56
Приколист  •  На сайте 2 года
Сообщений: 375
6
Бесконечность сломала самую “точную” науку и заставила придумывать законы на ходу

Кажется, что в такой точной науке как математика каждое утверждение держится на доказательстве. Но у любого доказательства есть начало: правила, которые не выводят из других правил, а принимают как исходные. Без таких правил нельзя доказать даже базовые вещи. История ZFC - главной аксиоматической системы современной математики, показывает, что фундамент науки о числах и бесконечностях складывался не из очевидных истин, а через споры, парадоксы и проверку на пользу для всей математики.

Сегодня ZFC почти незаметно лежит под большей частью современной математики. Полное название системы - теория множеств Цермело-Френкеля с аксиомой выбора. В неё входит 10 базовых принципов, с помощью которых математики описывают множества, числа, функции, пространства и более сложные конструкции. Многие исследователи просто работают внутри этой системы и редко отдельно обсуждают её основания. Но если посмотреть на историю ZFC внимательнее, становится ясно: аксиомы приняли не потому, что каждая из них выглядела самоочевидной. За этим выбором стояли математические задачи, неудачи старых подходов и желание сохранить мощный язык для работы с бесконечностью.

В конце XIX века математика быстро разрасталась, но общего фундамента для разных областей не хватало. Геометрия опиралась на постулаты Евклида, арифметику пытались формализовать отдельными схемами, анализ и теория функций развивались своим путём. Возник вопрос, можно ли описать всю математику одним набором правил, чтобы разные разделы говорили на общем языке и не порождали противоречий.

Таким языком постепенно стала теория множеств. Множество - это набор объектов: чисел, фигур, функций или даже других множеств. Простая идея оказалась удивительно сильной, потому что почти любую математическую конструкцию можно представить через множества. Числа можно строить как специальные множества, функции - как множества пар, пространства - как множества точек с дополнительными правилами. Теория множеств обещала связать разные области математики в единую систему.

Большую роль сыграли работы Георга Кантора. Он изучал вещественные числа, то есть все числа на числовой прямой, включая дроби и иррациональные значения. Кантор показал, что бесконечности бывают разных размеров: целых чисел бесконечно много, но вещественных чисел больше. Для математики того времени вывод оказался резким и неудобным. Бесконечность перестала быть одним расплывчатым понятием и превратилась в объект, который можно сравнивать, упорядочивать и изучать строгими методами.

Но ранняя теория множеств оказалась слишком свободной. Если множество можно задавать любым свойством, то система быстро допускает опасные конструкции. Самый известный пример - парадокс Рассела. Представим множество всех множеств, которые не содержат сами себя. Дальше возникает вопрос: принадлежит ли это множество самому себе? Если принадлежит, значит, по собственному определению не должно принадлежать. Если не принадлежит, значит, подходит под условие и должно принадлежать. Любой ответ приводит к противоречию. Такие парадоксы показали, что теории множеств нужны строгие ограничения.

На этом фоне Эрнст Цермело занялся одной из идей Кантора - принципом вполне упорядочения. Кантор считал, что любое множество можно расположить в порядке, при котором у каждого непустого подмножества будет первый элемент. Для конечных наборов такая мысль почти очевидна: предметы можно расставить так, чтобы всегда был первый. С бесконечными множествами всё сложнее.

Например, целые числа в обычном порядке идут бесконечно в обе стороны: ..., -2, -1, 0, 1, 2, ... У подмножества отрицательных чисел нет наименьшего элемента, потому что всегда найдётся число ещё меньше. Но порядок можно задать иначе: 0, -1, 1, -2, 2 и дальше по похожей схеме. Тогда среди отрицательных чисел первым окажется -1. Кантор утверждал, что подходящий порядок можно подобрать для любого множества, даже если явно построить его невозможно.

В 1904 году Цермело доказал принцип вполне упорядочения через другое утверждение, которое позже назвали аксиомой выбора. Её смысл можно объяснить без формул. Представим много непустых наборов. Аксиома выбора разрешает взять по одному элементу из каждого набора и собрать новое множество. Когда наборов конечное число, затруднения почти нет. Когда наборов бесконечно много и нет общего правила выбора, утверждение становится гораздо менее очевидным.

Цермело начал выписывать аксиомы, которые нужны для такого доказательства. Он фиксировал допущения о том, что множества существуют, что новые множества можно строить из уже имеющихся, что бесконечные множества тоже допустимы. Позже Абрахам Френкель и другие математики уточняли этот список, закрывали лазейки и добавляли правила, нужные для более сложных разделов теории множеств. Так постепенно сложилась система ZF - теория множеств Цермело-Френкеля.

ZF хорошо справлялась с главной задачей: она убирала многие противоречия ранней теории множеств, включая парадокс Рассела. Теперь нельзя было просто взять любое словесное условие и объявить все подходящие объекты множеством. Математики получили более безопасный язык, где новые множества строятся по правилам, а не по произвольному описанию.

Аксиома выбора долго оставалась спорной. Остальные принципы ZF чаще воспринимались как конструктивные правила: они показывали, как получить новое множество из уже заданных. Аксиома выбора вела себя иначе. Она утверждала существование набора выбранных элементов даже тогда, когда нет явного способа указать, какой элемент нужно взять из каждого множества. Для многих математиков такой шаг выглядел слишком сильным.

Дальше надежду на окончательно прочный фундамент усложнили результаты Курта Гёделя. Он показал, что любая достаточно сильная аксиоматическая система, в которой можно выполнять обычную арифметику, не может доказать собственную непротиворечивость. Более того, если такая система непротиворечива, в ней всё равно найдутся истинные утверждения, которые нельзя доказать средствами самой системы. Это означало, что математика не получит полного внутреннего сертификата собственной надёжности.

В 1960-х годах Пол Коэн доказал ещё один важный результат: аксиома выбора независима от остальных аксиом ZF. Внутри ZF нельзя доказать аксиому выбора, но нельзя доказать и её отрицание. Логика не заставляла принять это правило и не позволяла окончательно отбросить его. После этого спор сместился: математики стали оценивать не самоочевидность аксиомы выбора, а её последствия.

Последствия оказались слишком важными, чтобы игнорировать. Аксиома выбора делает возможными многие результаты, особенно в областях, где математика работает с бесконечными объектами. Без неё привычные инструменты становятся беднее, а некоторые теоремы исчезают или требуют более слабых формулировок. Поэтому аксиому выбора постепенно приняли гораздо шире. К ZF добавили букву C от choice, и система получила современное название ZFC.

История ZFC показывает, что аксиомы в математике не всегда работают как очевидные истины. Иногда правило принимают потому, что оно устраняет противоречия, даёт сильные теоремы, хорошо сочетается с другими принципами и позволяет двигаться дальше. Такой выбор не делает математику произвольной. Он показывает, что даже в самой строгой науке фундамент складывается через проверку последствий.

ZFC стала рабочим языком почти всей современной математики именно потому, что пережила парадоксы и дала удобные правила для работы с множествами и бесконечностью. Но история аксиомы выбора напоминает: под доказательствами лежит не финальный список самоочевидных истин, а система правил, которую математики приняли после долгой борьбы с противоречиями.

Источник

«Мы больше ничего не можем доказать до конца». Учёные поняли: вся математика держится на честном слове
Все комментарии:
Mf26 2 мая 2026 в 15:00
Ярила  •  На сайте 5 лет
2
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????
азиатъ 2 мая 2026 в 15:04
бывший гуманист  •  На сайте 4 года
9
Цитата (Mf26 @ 2 мая 2026 в 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

угу. ибо процент центробанка.
YourBunnyWro 2 мая 2026 в 15:06
Ярила  •  На сайте 9 лет
1
так что, теперь можно на ноль делить?
offcast 2 мая 2026 в 15:06
Ярила  •  На сайте 10 лет
8
Цитата (Mf26 @ 02.05.2026 - 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

А мы покупаем или продаем? )))

Размещено через приложение ЯПлакалъ
JimboJones 2 мая 2026 в 15:06
Ярила  •  На сайте 13 лет
1
Ученые - в говне моченые

Размещено через приложение ЯПлакалъ
rosewell 2 мая 2026 в 15:08
Ярила  •  На сайте 15 лет
3
НИкогда не любил вышку в ВУЗе, хотя понимаю что все современные достижения , наприме связь и протоколы и криптография без математики бы не состоялись.

Но вот эта фот философская полудичь порой подбешивает(хотя я может как то не так ее понимаю, уж простите):

"Например, целые числа в обычном порядке идут бесконечно в обе стороны: ..., -2, -1, 0, 1, 2, ... У подмножества отрицательных чисел нет наименьшего элемента, потому что всегда найдётся число ещё меньше. Но порядок можно задать иначе: 0, -1, 1, -2, 2 и дальше по похожей схеме. Тогда среди отрицательных чисел первым окажется -1. Кантор утверждал, что подходящий порядок можно подобрать для любого множества, даже если явно построить его невозможно."

Если выстроить 0, -1, 1, -2, 2 на линии, и показать пятикласнику где тут самый меньший элемент, он уверенно ткнет на -2, и уж никак не на -1
Все эти математические изыскания порой напоминают философию.
Да вроде формулы сходятся, но если линейкой померить член изнутри и снаружи и принять что он на пару сантиметров длиннее, длиннее он от этого не станет.
mnr1 2 мая 2026 в 15:08
Шутник  •  На сайте 12 лет
1
Цитата (Mf26 @ 2 мая 2026 в 19:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

В алгебре ничего не изменится :)
vikstep84 2 мая 2026 в 15:08
Ярила  •  На сайте 3 года
1
2×2=5, чесное-пречесное!))
rosewell 2 мая 2026 в 15:09
Ярила  •  На сайте 15 лет
2
Mf26
Ну типа да.
Это как два килограмма сахарного песка и еще два килограмма сахарного песка, никогда не будут ровно 4 кг, всегда какие то отклонения уходящие в бесконечность будут
tamboffvolk 2 мая 2026 в 15:10
Приколист  •  На сайте 14 лет
3
Цитата (vikstep84 @ 02.05.2026 - 15:08)
2×2=5, чесное-пречесное!))

Это, когда продаёшь. А когда, покупаешь, - то около трёх получается.

Размещено через приложение ЯПлакалъ
ELEA 2 мая 2026 в 15:11
Ярила  •  На сайте 11 лет
1
Цитата (Mf26 @ 2 мая 2026 в 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

Если придумать некие правила в которых оно не будет равно - то не будет.
Это всегда так было. Но и так же было, что правила никто не менял!

Вспоминается ролик про 2+2 = 22 :)))

У кого не ютюба, ищите "Алтернативная математика".


Это сообщение отредактировал ELEA - 2 мая 2026 в 15:12
lifesaver 2 мая 2026 в 15:12
Старый кот-валерьянщик  •  На сайте 11 лет
0
Цитата (YourBunnyWro @ 2 мая 2026 в 15:06)
так что, теперь можно на ноль делить?

Продвинутые говорят, что можно, только осторожно.
drdolgoff 2 мая 2026 в 15:13
Ярила  •  На сайте 13 лет
1
Цитата (rosewell @ 2 мая 2026 в 15:08)
Да вроде формулы сходятся, но если линейкой померить член изнутри и снаружи и принять что он на пару сантиметров длиннее, длиннее он от этого не станет.

опять всю математику к х...ям свел
Бабубыч 2 мая 2026 в 15:13
Ярила  •  На сайте 5 лет
-1
Это давно уже известно. Чем дальше лезть в дебри математики, тем сильнее видно, что фундамент научного метода держится исключительно на вере в ее правильность.
И в конечном счете единственное отличие современной науки от религии в том, что ее предсказания точнее.
Цитата
Все доказательства неминуемо сводятся к предположениям, не имеющим никаких доказательств.

Это сообщение отредактировал Бабубыч - 2 мая 2026 в 15:28
Атскокотстенки 2 мая 2026 в 15:14
Ярила  •  На сайте 15 лет
0
Цитата (rosewell @ 02.05.2026 - 15:08)
НИкогда не любил вышку в ВУЗе, хотя понимаю что все современные достижения , наприме связь и протоколы и криптография без математики бы не состоялись.

Но вот эта фот философская полудичь порой подбешивает(хотя я может как то не так ее понимаю, уж простите):

"Например, целые числа в обычном порядке идут бесконечно в обе стороны: ..., -2, -1, 0, 1, 2, ... У подмножества отрицательных чисел нет наименьшего элемента, потому что всегда найдётся число ещё меньше. Но порядок можно задать иначе: 0, -1, 1, -2, 2 и дальше по похожей схеме. Тогда среди отрицательных чисел первым окажется -1. Кантор утверждал, что подходящий порядок можно подобрать для любого множества, даже если явно построить его невозможно."

Если выстроить 0, -1, 1, -2, 2 на линии, и показать пятикласнику где тут самый меньший элемент, он уверенно ткнет на -2, и уж никак не на -1
Все эти математические изыскания порой напоминают философию.
Да вроде формулы сходятся, но если линейкой померить член изнутри и снаружи и принять что он на пару сантиметров длиннее, длиннее он от этого не станет.

Так у вас конечное подмножество, а речь - про бесконечное, где всегда найдётся число ещё меньше.

Размещено через приложение ЯПлакалъ
Mohnaticus 2 мая 2026 в 15:16
Юморист  •  На сайте 3 года
0
Цитата (offcast @ 2 мая 2026 в 15:06)
Цитата (Mf26 @ 02.05.2026 - 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

А мы покупаем или продаем? )))

Ссуживаем gigi.gif
barr46 2 мая 2026 в 15:18
Шутник  •  На сайте 9 месяцев
0
Цитата (Mf26 @ 02.05.2026 - 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

Люси давно рассказала что нет чисел,есть только время..

Размещено через приложение ЯПлакалъ
mnr1 2 мая 2026 в 15:19
Шутник  •  На сайте 12 лет
0
Цитата (rosewell @ 2 мая 2026 в 19:08)
НИкогда не любил вышку в ВУЗе, хотя понимаю что все современные достижения , наприме связь и протоколы и криптография без математики бы не состоялись.

Но вот эта фот философская полудичь порой подбешивает(хотя я может как то не так ее понимаю, уж простите):

"Например, целые числа в обычном порядке идут бесконечно в обе стороны: ..., -2, -1, 0, 1, 2, ... У подмножества отрицательных чисел нет наименьшего элемента, потому что всегда найдётся число ещё меньше. Но порядок можно задать иначе: 0, -1, 1, -2, 2 и дальше по похожей схеме. Тогда среди отрицательных чисел первым окажется -1. Кантор утверждал, что подходящий порядок можно подобрать для любого множества, даже если явно построить его невозможно."

Если выстроить 0, -1, 1, -2, 2 на линии, и показать пятикласнику где тут самый меньший элемент, он уверенно ткнет на -2, и уж никак не на -1
Все эти математические изыскания порой напоминают философию.
Да вроде формулы сходятся, но если линейкой померить член изнутри и снаружи и принять что он на пару сантиметров длиннее, длиннее он от этого не станет.

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

Это можно сделать кучей способов. Главное что любое подмножество упорядоченного множества тоже можно упорядочить.
Assoroff 2 мая 2026 в 15:19
Ярила  •  На сайте 11 лет
0
Просто нашу вселенную, как МАХ, коды из других вселенных надёргали.
sam21 2 мая 2026 в 15:20
Ярила  •  На сайте 11 лет
0
Цитата (Mf26 @ 2 мая 2026 в 15:00)
вы хотите сказать что в десятеричной системе исчисления в натуральных числах 2+2 не факт что 4????

Математик скажет: Четыре!
Бухгалтер: А сколько вам нужно?
odinman 2 мая 2026 в 15:21
Ярила  •  На сайте 12 лет
0
Иишный говнотекст, приправленный иишной говнокартинкой
murla 2 мая 2026 в 15:25
Ярила  •  На сайте 5 лет
0
Цитата (YourBunnyWro @ 2 мая 2026 в 15:06)
так что, теперь можно на ноль делить?

Давно можно.
Но не всё и не всегда.
Повсикакий 2 мая 2026 в 15:25
Приколист  •  На сайте 1 год
1
Читал, читал, потом у меня изломалась голова. Всем покеда, я в палату. hi.gif
xxDimiDxx 2 мая 2026 в 15:25
Ярила  •  На сайте 2 года
0
Класс 👍
Это лучшая тема для субботнего вечера, есть что обсудить за румочкой борьща

Размещено через приложение ЯПлакалъ
Понравился пост? Ещё больше интересного в ЯП-Телеграм и ЯП-Max!
Только зарегистрированные и авторизованные пользователи могут оставлять комментарии. Авторизуйтесь, пожалуйста, или зарегистрируйтесь, если не зарегистрированы.
14 Пользователей читают эту тему (1 Гостей и 1 Скрытых Пользователей) Просмотры темы: 1 913
12 Пользователей: Monstrello, kuzov, leshka1975, sansei75rus, slaugh321, DoctOr3, degemot70, juРий, СерГо12, ходики, Zhanakub, РАО
Страницы: 1 2  ОТВЕТИТЬ НОВАЯ ТЕМА

 
 

Активные темы



Наверх