|
12 сентября в 20:46
|
|
|
Круги на воде, ты Рефери про картинку или меня про меня про конечноописуемость и познаваемость? Если про картинку, то молнии - электричество, песок - кремний, светом - ультрафиолетом, ничего особенного, но действительно красиво.
Если меня, то конечноописуемость - это свойство быть полностью описанным (детерминированным) конечным набором символов. Легко понять, что математика - это только и исключительно про конечно описуемое (банально потому, что мы не можем написать бесконечное число символов на листке бумаги, что бы ни подразумевалось под "написать" или "листком бумаги"). Любые бесконечности, которыми манипулирует математика, тоже конечно описуемы (иначе говоря, устроены достаточно просто, чтобы быть сжатыми/полностью описанными конечным числом символов). Далее, всё вокруг нас может быть изложено на языке математике (это далеко не всегда _удобно_ делать, но технически можно так сделать со всем вообще - потому что все связи, порядки и симметрии и являются нашим окружением; иначе говоря, нет ничего, кроме структур; если мы захотим ввести что-то, кроме структур, получается какое-нибудь квалиа). И до сих пор мы не сталкивались ни с чем, что на языке математике не могло бы быть описано. То есть, всё вокруг конечно описуемо. В том числе наш мозг. Откуда следует, что мы не можем принципиально мыслить неконечно. Чисто аппаратно невозможно. Тем не менее, нет и не может быть доказательства, что весь мир конечно описуем - что бы мы ни подразумевали под "миром". Более того, методом исключения мы можем получить структуры, которые конечно не описуемы, например, все невычислимые числа - это несчётное множество, а мы умеем работать только со счётным множеством вычислимых чисел. Любая "настоящая" несчётность, вероятно, не может быть нами познана чисто принципиально. Это уже к вопросу о границах познания, ага. Любое отдельное невычислимое число также представляет собой пример того, что за границами сознания. Итак, если мы вдруг столкнёмся с магией, которая непознаваема (использует невычислимое число, например) или не конечноописуема, то Или достаточно проанализированная магия не отличается от технологии данное утверждение неверно. |
|