(Untitled)

[jtootf]

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

порой умирают боги, и права нет больше верить... ©

Comments

[wizzard0]

а есть ли для формальных систем аналог тьюринг-полноты?

т.е. можно ли описать одну ф.с. в терминах другой ф.с.?

[jtootf]

универсальный вычислитель - тоже формальная система. т.е. я не совсем понимаю, о какой аналогии ты спрашиваешь

[wizzard0]

эээ, я о том, что хромой бог может изобрести аквариум с не-хромыми богами, кмк.

[jtootf]

не всегда. если в исходной системе нет возможности описать параметр (хромоту, инвариант в MU-головоломке), то и с изобретанием существуют объективные сложности

[anavuajna]

а если хромой бог сумасшедший?

[jtootf]

дай определение сумасшедшей формальной системе

[anavuajna]

система, которая творит не через себя?

[jtootf]

можно пример? :)

[kinos]

Мысль!

[jtootf]

они такие, да

[clayrat]

время есть ограничение

[jtootf]

ограничение чего?

[clayrat]

пространства возможных состояний

[jtootf]

можно развернуть мысль? я не совсем понимаю, какая связь с исходным вопросом

[a_dziang]

Откуда хромой бог узнает, что он хромой?..

[jtootf]

откуда бог-вне-времени может может узнать, что время может быть?

[a_dziang]

от бога-во-времени в первую очередь.

а может быть

тому, другому, богу покажется, что у него хромая нога лишняя: неудобно. и он сделает одноногих попрыгунов: прыг, прыг, вот как, а я-то всё мучился. или вовсе на гусеницах.

[jtootf]

предполагается, что он изначально один. ну, не любит ходить в гости