форум осваивающих КОБ

foton · #6 22.03.2010, 20:24

Цитата:

Сообщение от Сергей Биомоз

Цитата:

Сообщение от foton

"в 1930 году Курт Гёдель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: любая система аксиом, достаточно богатая, чтобы с её помощью можно было определить арифметику, будет либо не полна, либо противоречива... неполная система - это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть... противоречивая - это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать, и опровергнуть..."

Целиком и полностью. Любая система - или неполна или противоречива. Однако существование всякой системы и доказывает то, что всякая система неполна. И на более объемлющей системе преобетается доказательность меньшей системы.

Цитата:

Сообщение от foton

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

Абсолютно правильно. Целиком и полностью.

Цитата:

Сообщение от foton

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

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

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

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