Мир как иллюзия

[gul_kiev]

Я почему-то опять начал размышлять на тему виртуальности мира.
Придумались новые соображения на эту тему, опишу.

Для начала - в чём, собственно, вопрос (тема размышлений). Что означает тезис "мир виртуален", на что это влияет, и возможно ли это определить хотя бы теоретически (т.е. имеет ли смысл этот вопрос)?

Можно временно отвлечься от гипотезы

Comments

[livelight]

> При этом сознание неалгоритмизуемо, это доказал Пенроуз

А можно вкратце, что именно доказал Пенроуз, для тех, кто не читал?

Про "неалгоритмизуемость" вот ещё хорошая статья была: https://habr.com/ru/post/145929/
Обсуждается, что не так с постановкой задач (массовых!) про алгоритмы, вычисляющие что-то про алгоритмы, включая сами себя. И если человека с его сознанием поставить в столь же искусственно ограниченные условия, то с ним та же хрень получится, что и с чистым алгоритмом. И про "свободу воли" тоже есть немного.

[gul_kiev]

Я вот тут его уже как-то вкратце пересказывал.

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

[livelight]

Про "алгоритмическую" часть как раз хорошо написано в ссылке, которую я привёл.

> суждение исходя из смысла утверждений, а не просто из их формальной математической записи

А что такое "смысл утверждений"? Это что-то вроде того, что в формальной матлогике называлось "интерпретацией": соотнесение некого мира (возможно, с построением его как раз для этого) с логическими формулами. Причём мир может быть таким же формальным, как сами те формулы (потому самая красивая интерпретация - эрбранова)
И с чего мы взяли, что мы его знаем? Только потому, что нам кажется, что мы понимаем, с чем соотносим формальные утверждения?

- Ответ заключён в рунах, написанных на золотой раме. Прочти их мне.
- Мне этот алфавит не знаком. Руны выглядят так, словно их случайным образом куриной лапой нацарапали толкиновские эльфы.
- Всё равно прочти. Не опас-сно.- Руны гласят: «яинелмер тсеыннавор илопарт скэ еынна восалгос а оцил ёовтен юавы закопя», - Гарри почувствовал, как по спине опять побежали мурашки

[gul_kiev]

Да, я понимаю примерно так.
В формальной системе аксиом (например, в аксиоматике Пеано) есть гёделевские утверждения (которые в этой системе нельзя ни доказать, ни опровергнуть). Но они на самом деле являются либо истинными, либо ложными, на основании интерпретации, мы не можем их произвольно положить истинными или ложными, т.к. в одном из случаев потеряем интерпретацию и, соответственно, обоснованность, хотя сохраним непротиворечивость. И этим (умением оперировать интерпретацией, т.е. пониманием смысла утверждений) сознание отличается от формального алгоритма.