"Нет ли тут противоречия неполноте формальных систем"
Нет, тюринг-полные системы претендуют на полноту только внутри формального пространства вычислимых функций, что не связано с выбором систем аксиом и их неполнотой внутри этого пространства.
"Расскажите мне о сложности... Где вы ее видели (за пределами самореферентной феноменологии)?"
Я за пределами самореферентной феноменологии не мыслю, извините. Устройство сознания и архитектура сигнальной системы не позволяет. Если у вас есть примеры выхода за границу самореферентности мышления - научите, буду благодарен.
"У... для этого сложность вообще не нужна... чтобы выбрать. Согласитесь, самокритичным системам присуща куда большая сложность."
Чтобы иметь выбор - выбрать или не выбрать нужна достаточная сложности. А вот чтобы выбрать или не выбрать уже нужны какие-то интенции. Если самокритика это основная интенция, то можно и не выбирать. Впрочем, если выбор лежит кардинально за пределами системы то мы можем выбрать подходящую рационализацию. Стоп, нет, мы не можем ничего выбрать, за пределами системы эта рационализация и будет выбрана. Значит это не "просто рационализация"? ;)
"Именно, что не очевидно. Не тривиально. Я готов терпеливо рассказывать любому желающему слушать, если тот не станет засыпать."
В прошлый раз мы пришли к тому, что надорвёмся. "При аккуратном пошаговом восходящем (и нисходящем) согласовании тезаурусов можно перевести то, что вы называете суггестией в нормальную коммуникацию с почти тождественными состояниями. Есть успешный опыт такой коммуникации, но повторить его с кем-то еще у меня нет желания — это отнимает коллосальное время. " (source (http://hitthelimit.livejournal.com/4018.html?thread=484786#t484786))
no subject
Нет, тюринг-полные системы претендуют на полноту только внутри формального пространства вычислимых функций, что не связано с выбором систем аксиом и их неполнотой внутри этого пространства.
"Расскажите мне о сложности... Где вы ее видели (за пределами самореферентной феноменологии)?"
Я за пределами самореферентной феноменологии не мыслю, извините. Устройство сознания и архитектура сигнальной системы не позволяет. Если у вас есть примеры выхода за границу самореферентности мышления - научите, буду благодарен.
"У... для этого сложность вообще не нужна... чтобы выбрать. Согласитесь, самокритичным системам присуща куда большая сложность."
Чтобы иметь выбор - выбрать или не выбрать нужна достаточная сложности. А вот чтобы выбрать или не выбрать уже нужны какие-то интенции. Если самокритика это основная интенция, то можно и не выбирать. Впрочем, если выбор лежит кардинально за пределами системы то мы можем выбрать подходящую рационализацию. Стоп, нет, мы не можем ничего выбрать, за пределами системы эта рационализация и будет выбрана. Значит это не "просто рационализация"? ;)
"Именно, что не очевидно. Не тривиально. Я готов терпеливо рассказывать любому желающему слушать, если тот не станет засыпать."
В прошлый раз мы пришли к тому, что надорвёмся. "При аккуратном пошаговом восходящем (и нисходящем) согласовании тезаурусов можно перевести то, что вы называете суггестией в нормальную коммуникацию с почти тождественными состояниями. Есть успешный опыт такой коммуникации, но повторить его с кем-то еще у меня нет желания — это отнимает коллосальное время. " (source (http://hitthelimit.livejournal.com/4018.html?thread=484786#t484786))