Найти тему
Саша Родин

Парадокс Геделя

Парадокс Геделя
"К концу XIX века математика уже очень сильно развилась, были построены анализ и алгебра, имелись важные результаты из теории чисел. Были созданы разные неевклидовы геометрии. Здание математики было высоким и красивым, но его основание было непрочным. Теория множеств и логика находились в зачаточном состоянии, а ведь на них должна опираться вся математика.

На рубеже XIX и XX веков Давид Гильберт поставил задачу перед математиками всего мира: построить аксиоматику арифметики. К выбору аксиом надо было подойти очень ответственно. Из них должны выводиться привычные нам свойства чисел. Аксиомы не должны противоречить друг другу (это свойство аксиоматики называется непротиворечивостью). Аксиом должно быть достаточно, чтобы о любом утверждении можно было сказать, истинно оно или ложно (это свойство аксиоматики называется полнотой).

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

Теорема Гёделя о неполноте утверждает, что любая непротиворечивая система аксиом арифметики неполна -- в любой найдутся неразрешимые утверждения.

В общем, математики научились с этим жить. Но время от времени, когда сталкиваются с особенно каверзным и неподатливым утверждением, начинают подозревать, что это оно, то самое и есть, -- которое нельзя ни доказать, ни опровергнуть. Когда теорема Ферма еще не была доказана, то была кандидатом в такие утверждения."
https://yandex.ru/q/science/1596408065/
Еще одно доказательство тупика агностицизма: любая идея\аксиома \набор аксиом ограничена познанием\уровнем развития субъекта познания\социумом. И, по мере развития, качество познания меняется изменяя аксиоматику. Все аксиомы базируются на очевидности, а очевидность - это опыт\практика, многократное подтверждение явления в жизни. Это парадокс разрешим только выходом из системы: объект-субъект. А для этого нужен Бог в модели.
Тогда все встает на свои места: мы с низшего уровня сознания постигаем высший и продвигаемся только в той мере, в которой нам это удается. Но как бы далеко мы ни зашли этого всегда будет недостаточно. Поэтому задача построения полной и непротиворечивой аксиоматики не разрешима. Надо стать Богом для решения этой задачи. Здесь утверждается , что существуют доказательства теоремы Геделя, при этом упускается тот факт, что утверждение Геделя -это гипотеза о невозможности доказать эту гипотезу. В этом и парадокс.
Эффект Геделя:
если невозможность построения полной и непротиворечивой аксиоматики принять за аксиому, то, очевидно, нахождение противоречия и будет "ступенью" перехода уровня сознания.

Наука
7 млн интересуются