Род: Серега-вертолет Full Poster Сообщений: 46 |
Вопрос о принципиальной познаваемости мира является важнейшим как для философов, так и для физиков: ведь так важно знать на какой высоте висит планка, сколько до нее осталось, и вообще- а есть ли она? Оказывается, Гедель сформулировал еще в 30х годах прошлого века свою великую теорему, которая фактически ответила на поставленный вопрос отрицательно! В классическом варианте теорема Геделя утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. Это означает, что если мы попытаемся описать Мир в рамках некоторой формальной теории, которая должна быть непротиворечива как и сам Мир(ввиду того что в нашем мире пока не выявленно парадоксов), то эта теория будет неполной, а значит будут иметь место некоторые наблюдаемые явления, которые будет невозможно описать нашей теорией! Для их описания нам придется создавать новую непротиворечивую теорию, которая тоже, в свою очередь, окажется не полной, и т.д. ...
|
Род: sergish Infra Real Сообщений: 1482 |
автор: Серега-вертолет сообщение 20265
Яндекс дает 5777 ответов. Это я про неуникальность некоторых вопросов. И про легкость проверки этого в интернет. |
Род: Серега-вертолет Full Poster Сообщений: 46 |
То есть ты считаешь, что если набрать в поисковике любой вопрос и получить на него сто миллионов ответов, то дело в шляпе?))) Завидую я тебе! |
Род: sergish Infra Real Сообщений: 1482 |
автор: Серега-вертолет сообщение 20275
Не так уж часто можно получить ответ от поисковика если вопрос формулировать в кавычках (поиск строгого соответствия). И я удивился, что результатов на твой вопрос выдано не 100-200, а гораздо больше Просто некоторые вопросы, и этот в том числе, поднимаются снова и снова, как будто их раньше никто не обсуждал. Мне хочется призвать вопрошающих знакомиться с результатами предыдущих обсуждений, чтобы не повторяться, чтобы пытаться идти дальше (хотя я и сам попадаю в такие ситуации). |
Род: nan - админ Сообщений: 12275 |
У теоремы Геделя, как у любых утверждений, должна быть граница использования. Кроме самой общей: субъективные формализации (потому как вне их эта теорема теряет смысл). Природе пофиг эта теорема и для существ, адаптируемых к миру - тоже. Пока они ее не выведут :) А так они спокойно познают мир по мере необходимого и возможного и ничто их в этом не ограничивает. В этом смысле мир поддается познанию и теорема Геделя этого не отрицает. Так что пессимизм темы не актуален :) А то,т есть ли конец всякому познанию или нет, нас хуже не делает и нам хуже не делает. Но, вполне возможно, то познание в сторону первооснов взаимодействий уже почти достигнуто. Не удивлюсь, если вскоре появится завершенное обобщение не только для существующих взаимодействий, но и первооснов единого взаимодействия, и не станет абсурдным сказать, что далее в глубинной структуре сущего нет непознанного. Но вот вширь... Множество взаимовлияний, развития в бесконечных условий бесконечно изменяющихся вряд ли вообще принципиально может быть описано в общем виде для каждой частности. Ну и пофиг :) Меня это не напрягает ни грамма. |
Род: Серега-вертолет Full Poster Сообщений: 46 |
Природе пофиг эта теорема и для существ, адаптируемых к миру - тоже. Пока они ее не выведут :) А так они спокойно познают мир по мере необходимого и возможного и ничто их в этом не ограничивает. В этом смысле мир поддается познанию и теорема Геделя этого не отрицает Бесспорно, теорема Геделя не мешает существам, населяющим Вселенную, изучать ее до умопомрачения, но вопрос стоит не в том, есть ли трудности в изучении Вселенной, но в том,- удастся ли этим существам находясь в некотором аксиоматическом базисе создать те модели, которые полностью бы описали вселенную! Но ведь все наши модели, которые мы используем для описания явлений в окружающем нас пространстве , являются теоремами той формальной системы, которую мы выбрали как наиболее приемлемую. Таким образом, все наши рассуждения в рамках этой формальной системы ограничены теоремой Геделя а следовательно будут попадаться неразрешимые моменты!!! ... а вселенной конечно же пофиг на Геделя и тех кто ее населяет и их когнитивные ограничения! |
Род: sergish Infra Real Сообщений: 1482 |
автор: Серега-вертолет сообщение 20291
"Неполное описание" все равно, что "белая белизна". А сказать "полное описание" равноценно "черная белизна" - абсурд. Потому что любое описание подразумевает определенную, ограниченную, конечную точность. Именно ограниченная точность описания позволяет различать и обозначать состояния описываемого объекта. Ограниченная точность прямо связана с определенностью описания и его полезностью (смыслом). автор: Серега-вертолет сообщение 20291
Вселенной пофиг, и многим пофиг на вселенную, но это не отменяет связь между тем, как выглядит вселенная и тем, как выглядят населяющие/познающие ее существа. |
Род: nan - админ Сообщений: 12275 |
>>а следовательно будут попадаться неразрешимые моменты!!! такой вывод никак не следует из этой теоремы. Неразрешимых для познания моментов теорема не определят. |
Род: Серега-вертолет Full Poster Сообщений: 46 |
Она определяет "дырявость" в непрерывной цепи причинности формальной системы с помощью которой мы описываем Вселенную! Возможно из-за этого логического феномена, законы электромагнетизма не выводятся из законов динамики!! Хотя это уже слишком притянуто за уши...) |
Род: corowew Sr. Poster Сообщений: 176 |
Имеют ли теоремы Гёделя философский (мировоззренческий) смысл? |
Род: Palarm - админ Сообщений: 2771 |
автор: Серега-вертолет сообщение 20291
Пусть религиозники маются в потугах охватить мыслью все вселенную - а научники преследуют вполне практические цели: познать что то, сделать что то. Еще такая алегория: представь, что ты в темноте с фонариком. Он освещает не все вокруг - а только часть перед тобой. Тебе это помешает двигаться в каком либо направлении? |
Род: LUCA Sr. Poster Сообщений: 399 |
Обсуждаемая тема тесно связана с работами Грегори Чейтина, описание которых моно найти здесь на сайте или с помощью гугла. http://www.scorcher.ru/art/theory/any/gedel.php Он уподобляет научную теорию компьютерной программе, предсказывающей результаты наблюдений. В эффективной теории с помощью нескольких законов и уравнений можно описать целый мир различных явлений. Небольшое количество информации предсказывает широкий спектр явлений. (Такие явленя Чейтин назвал приводимыми (она дал им точное определение). Поясню на примере (http://ega-math.narod.ru/Nquant/Random.htm).
Однако Чейтин показал и существование принципиально несжимаемых чисел. Такие числа моделируют тот факт, что существуют математические факты, истинность которых нельзя объяснить никакой теорией. |