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