>> XXVector (XXVector) писал (а) в ответ на сообщение:
>> Развернуть начало сообщения
>>


>>> В 1930 году Курт Гёдель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: любая система аксиом, достаточно богатая для того, чтобы с ее помощью можно было определить арифметику, будет либо неполна, либо противоречива. Неполная система — это такая, в которой можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть; противоречивая система — это такая система, в которой можно сформулировать утверждение, которое средствами этой системы можно и доказать, и опровергнуть. Поскольку окружающая нас природа не содержит противоречий, понятно, что любая система аксиом, описывающая природу, будет неполна. Бог же, по определению, есть конечная причина всех причин. С точки зрения математики это означает, что введение аксиомы о Боге делает всю нашу аксиоматику полной. Если есть Бог, значит, любое утверждение можно либо доказать, либо опровергнуть, ссылаясь так или иначе на Бога. Но по Гёделю полная система аксиом неизбежно противоречива, то есть, если мы считаем, что Бог существует, мы вынуждены придти к выводу, что в природе возможны противоречия. А поскольку противоречий нет, иначе бы весь наш мир рассыпался от них, нам приходится придти к выводу, что существование Бога несовместимо с существованием природы, то есть Бога нет и быть не может. Ч.т.д.