Полнота по Тьюрингу, вопрос

Неверно. ты не можешь вычислить невычислимую функцию в «работающей абстракции», если она невычислима в «родительском» мире

Разве невычислимые функции необходимы для полноценной самодостаточной абстракции?

Полнота по Тьюрингу позволяет создавать полноценные работающие абстракции (вложенные миры), не привязанные к законам реального (родительского) мира.

Насколько верно это утверждение и почему?

Все верно. Но это будут воображаемые миры из ноликов и единичек, если что.

к законам реального (родительского) мира

Реальный мир тьюринг-полный?

Вроде да

Но получается, внутри миров будет собственное существование, реальное для тех миров.

Но получается, внутри миров будет собственное существование, реальное для тех миров.

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

Полнота по Тьюрингу не замахивается на такие далеко идущие выводы, она про вычислимость)

сама машина тьюринга придумана для иллюстрации концепта невычислимости. и если она нужна тебе в абстракции, то…

Если игра настолько полноценна, что может логически поддерживать собственное существование (пусть и за счёт энергии родительского мира), то наверное человечек в компьютерной игре (если бы он имел какое-то восприятие и интеллект) не смог бы понять, что живёт в абстракции, и спокойно считал бы, что мир игры реален.

Тогда получается, что разница между абстракцией с такими человечками и абстракцией без таких человечков только в том, что у первой абстракции есть кому воспринять реальность абстракции и рассказать об этом (хотя бы себе).

Ну как бы все, что можно сделать на компьютере можно сделать на любой тьюринг полной системе, при условии достаточного количества ресурсов и времени. Может ли быть у продвинутого бота из игры сознание, что бы это ни значило? По-моему этот вопрос пока открыт)

По-моему этот вопрос пока открыт)

А по-моему, он не то что не открыт, а для такого вопроса ещё нет никаких предпосылок.

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

не привязанные к законам реального (родительского) мира.

1. Вопрос о том - что такое естество́ (природа)…

Полнота по Тьюрингу

2. Тут надо рассматривать даже не внутреннюю непротиворечивость, замкнутость и полноту (2-я проблема Гильберта), а категории других порядков - внешнюю непротиворечивость, либо - несоответствие «внешнему» порядку вещей. Именно о таком несоответствии говорится в догматическом богословии, когда упоминается «сверхъестественный» (вышеестественный) мир. – См. архиепископ Никанор (Бровкович), «Можно ли позитивным философским методом доказывать бытие чего-либо сверхчувственного – Бога, духовной бессмертной души и т. п.?»

для полноценной самодостаточной абстракции?

что такое «полноценная самодостаточная абстракция»?

и какое отношение имеет машина Тьюринга к законам реального мира?

Симуляция зависит от возможностей вычислителя. Возможности вычислитела определяются законами «внешнего мира». Уравнение вида 0*x=5 ты не сможешь решить. Как и обойти закон исключения третьего, например.

Уравнение вида 0*x=5 ты не сможешь решить.

x ∈ ∅

Если операция * не позволяет найти другие корни.

Т.е. решений нет.

По школьному, решить уравнение, значит найти множество его корней. Которое может быть пустым, конечным и бесконечным различных степеней.

Тут надо рассматривать даже не внутреннюю непротиворечивость, замкнутость и полноту (2-я проблема Гильберта), а категории других порядков - внешнюю непротиворечивость, либо - несоответствие «внешнему» порядку вещей

Так ведь суть в том, что можно не заморачиваться внешним порядком вещей

Так ведь суть в том, что можно не заморачиваться внешним порядком вещей

Если вычисления не увеличивают энтропию замкнутой системы - то да…

Иначе, всё-таки придётся задуматься о внешнем.

Как и обойти закон исключения третьего

По-моему, это плохой пример. Он и в нашем мире неочевиден.

Система не замкнута, она же работает за счёт энергии внешнего мира, т.е. экспортирует энтропию в него.

А какая твоя цель?

Выяснить, насколько верно то утверждение и почему

т.е. экспортирует энтропию в него.

негэнтропию

Нет же, негэнтропия внутри системы (абстракции), а наружу идёт как раз энтропия (тепло от потреблённой энергии).

Любое взаимодействие - оно двунаправлено. См., как пример, принцип неопределённости Гейзенбе́рга.

Если множество корней пустое – значит, корней нет. Иначе оно не пустое.

Кстати, помнится, есть пирамида алгебраических систем: N > Z > Q > R > C > P > …

Можете продолжить?

Полнота по Тьюрингу чего?

Это толстота по Фракталу.

Доказали, что множество корней пустое, значит решили уравнение.

Доказали,

Ну… ещё не вечер. Можно ведь другую систему предикатов для логического вывода взять. Ту же k-значную логику.

И другую операцию *

https://vpr-klass.com/uchebniki/matematika/5_klass_vilenkin/uch1/59.jpg

https://www.youtube.com/watch?v=cNT_A6m1X-U

Безусловно. Ведь в ASCII-кодировке всё выглядит слишком унылым, если нет подсветки синтаксиса. Кириллица и новые графемы добавят разнообразия.