Показать сообщение отдельно
  #1135  
Старый 22.03.2010, 20:24
foton foton вне форума
гость
 
Регистрация: 07.10.2008
Адрес: Недалеко от леса
Сообщений: 802
foton на пути к лучшему
По умолчанию Ответ: Есть ли Бог? И что от этого зависит?

Цитата:
Сообщение от Сергей Биомоз Посмотреть сообщение
Цитата:
Сообщение от foton Посмотреть сообщение
"в 1930 году Курт Гёдель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: любая система аксиом, достаточно богатая, чтобы с её помощью можно было определить арифметику, будет либо не полна, либо противоречива... неполная система - это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть... противоречивая - это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать, и опровергнуть..."
Целиком и полностью. Любая система - или неполна или противоречива. Однако существование всякой системы и доказывает то, что всякая система неполна. И на более объемлющей системе преобетается доказательность меньшей системы.

Цитата:
Сообщение от foton Посмотреть сообщение
"поскольку окружающая нас Природа не содержит таких противоречий - грубо говоря, она не содержит ни одного явления, которое бы можно было одновременно считать и существующим, и несуществующим - в силу этого, понятно, что любая система аксиом описывающая Природу будет неполна - постоянно будут возникать ситуации, которые невозможно исследовать на основании уже существующего набора выявленных законов Природы - это значит, что придётся постоянно выявлять всё новые и новые законы..."
Абсолютно правильно. Целиком и полностью.

Цитата:
Сообщение от foton Посмотреть сообщение
"но, "Бог", по определению, есть конечная причина всех причин - с точки зрения математики это означает, что введение аксиомы о "Боге", делает всю нашу аксиоматику полной"
Беспричинное не может быть существующим. Но существующее имеет причину. Бесконечная причина и бесконечное следствие не замыкаются по законам математической логики. Однако существуют в силу существование систем, охватываемых математической логикой.
ага, пример безконечного следствия от безконечной причины - безконечно длинный нос от безконечной лжи у Буратино...

то есть, не замыкаются безконечные причины и безконечные следствия - а значит, конечной причины в виде "единого Бога" просто нет...
Ответить с цитированием