Познаваем ли мир? ....боюсь что нет! ((

Вопрос о принципиальной познаваемости мира является важнейшим как для философов, так и для физиков: ведь так важно знать на какой высоте висит планка, сколько до нее осталось, и вообще- а есть ли она?

Оказывается, Гедель сформулировал еще в 30х годах прошлого века свою великую теорему, которая фактически ответила на поставленный вопрос отрицательно!

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

Это означает, что если мы попытаемся описать Мир в рамках некоторой формальной теории, которая должна быть непротиворечива как и сам Мир(ввиду того что в нашем мире пока не выявленно парадоксов), то эта теория будет неполной, а значит будут иметь место некоторые наблюдаемые явления, которые будет невозможно описать нашей теорией! Для их описания нам придется создавать новую непротиворечивую теорию, которая тоже, в свою очередь, окажется не полной, и т.д. ...

Познаваем ли мир?

То есть ты считаешь, что если набрать в поисковике любой вопрос и получить на него сто миллионов ответов, то дело в шляпе?)))

Завидую я тебе!

То есть ты считаешь, что если набрать в поисковике любой вопрос и получить на него сто миллионов ответов, то дело в шляпе?)))

У теоремы Геделя, как у любых утверждений, должна быть граница использования. Кроме самой общей: субъективные формализации (потому как вне их эта теорема теряет смысл). Природе пофиг эта теорема и для существ, адаптируемых к миру - тоже. Пока они ее не выведут :) А так они спокойно познают мир по мере необходимого и возможного и ничто их в этом не ограничивает. В этом смысле мир поддается познанию и теорема Геделя этого не отрицает. Так что пессимизм темы не актуален :) А то,т есть ли конец всякому познанию или нет, нас хуже не делает и нам хуже не делает. Но, вполне возможно, то познание в сторону первооснов взаимодействий уже почти достигнуто. Не удивлюсь, если вскоре появится завершенное обобщение не только для существующих взаимодействий, но и первооснов единого взаимодействия, и не станет абсурдным сказать, что далее в глубинной структуре сущего нет непознанного. Но вот вширь... Множество взаимовлияний, развития в бесконечных условий бесконечно изменяющихся вряд ли вообще принципиально может быть описано в общем виде для каждой частности. Ну и пофиг :) Меня это не напрягает ни грамма.

Природе пофиг эта теорема и для существ, адаптируемых к миру - тоже. Пока они ее не выведут :) А так они спокойно познают мир по мере необходимого и возможного и ничто их в этом не ограничивает. В этом смысле мир поддается познанию и теорема Геделя этого не отрицает

Бесспорно, теорема Геделя не мешает существам, населяющим Вселенную, изучать ее до умопомрачения, но вопрос стоит не в том, есть ли трудности в изучении Вселенной, но в том,- удастся ли этим существам находясь в некотором аксиоматическом базисе создать те модели, которые полностью бы описали вселенную!

Но ведь все наши модели, которые мы используем для описания явлений в окружающем нас пространстве , являются теоремами той формальной системы, которую мы выбрали как наиболее приемлемую. Таким образом, все наши рассуждения в рамках этой формальной системы ограничены теоремой Геделя а следовательно будут попадаться неразрешимые моменты!!!

... а вселенной конечно же пофиг на Геделя и тех кто ее населяет и их когнитивные ограничения!

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

... а вселенной конечно же пофиг на Геделя и тех кто ее населяет и их когнитивные ограничения!

>>а следовательно будут попадаться неразрешимые моменты!!!

такой вывод никак не следует из этой теоремы. Неразрешимых для познания моментов теорема не определят.

Она определяет "дырявость" в непрерывной цепи причинности формальной системы с помощью которой мы описываем Вселенную!

Возможно из-за этого логического феномена, законы электромагнетизма не выводятся из законов динамики!! Хотя это уже слишком притянуто за уши...)

удастся ли этим существам находясь в некотором аксиоматическом базисе создать те модели, которые полностью бы описали вселенную!

Некоторые последовательности битов могут быть сжаты в программы, более короткие, чем сами эти последовательности, потому что они построены по какой-либо схеме или подчиняются какому-либо правилу. Например, 200-битовая последовательность вида 0101010101... может быть сильно сжата, если её задать как «100 повторений пары 01». Безусловно, такие последовательности не являются случайными. С другой стороны, 200-битовая последовательность, порождённая бросанием монеты, не может быть сжата, поскольку для этого процесса, вообще говоря, отсутствует закономерность в чередовании нулей и единиц; это совершенно случайная последовательность.