В ответ на: Уважаемый и очень умный Стас, пишущий умные формулы в форум, где их никто увы не понимает, я своим простым умом понял, что вы утверждаете, что не бывает самой длинной палки, так как найдется палка еще длиннее, правильно? Я не понимаю, какое отношение это может иметь к идее существования Бога. И еще, кстати, почему вы решили, что мир дискретен?

Уважаемый Аркадий!

Посмотрите начало форума. Я выступил против концепции "всезнания". Для этого пришлось сформулироват импликацию: "если объект A знает все про объект B, то объект A имеет сложность не меньшую, чем сложность объекта B". Если вы принимаете эту формулировку, то все остальное следует автоматически. Аппарат работы с "мерой неразрешимости" задач наработан в математике уже как минимум несколько десятков лет. При этом абсолютно неважно - дискретен мир или непрерывен; мы же меряем непрерывные длины линейкой с дискретными делениями. В данной формулировке существование всезнающего Бога эквивалентно наличию объекта с наибольшей сложностью - но для проблемы любого уровня сложности можно сформулировать проблему, имеющую строго больший уровень сложности; таким образом приходим к противоречию. Ergo объекта с наибольшей сложностью нет. Применяя известное в логике правило контрапозиции (если из A следует B, то из не-B следует не-A) получаем, что всезнающего Бога не существует. Другие атрибуты божественности я не рассматривал
Ошибка Ирины Джей состоит в том, что она утверждает, что мы можем взять объединение всех рассматриваемых объектов, которое должно иметь сложность бОльшую, чем любой из этих объектов. Она упорно отказывается понять, что это - не более чем добавление еще одного объекта в цепочку, которая точно так же будет расти далее.