>>> мы существуем в такой, где набор констант совместим с нашим существованием?
Аналогично можно сказать, что мы существуем в такой битовой строке, которая описывает нас как сознательных агентов.
>>> но ведь эта констатация никак не объясняет, почему осуществилась именно такая вселенная?
На вопрос "почему" не отвечает, а просто констатирует ее осуществление, если уж мы ее наблюдаем. И ответ на вопрос "почему" дается в форме вот такой петли: мы видим мир, который представим строкой, частью которой мы сами являемся. То есть строка "осуществляет" сама себя (по крайней мере с точки зрения агента) посредством сознательного агента, которого она описывает. И для такого "осуществления" достаточно лишь допустить логическую возможность существования такой строки. То есть строка как бы, с одной стороны, является частью Ничто (не существует, не привязана к какому-либо "субстрату"), с другой стороны, раз уж она логически (потенциально) возможна, то все же "существует" через сознательного агента, которого она описывает, и который ее наблюдает "изнутри".
>>> Ну, а когда человеку кажется - что на это можно возразить? Одному кажется одно, другому - другое ;)
Метафизика, что уж поделаешь :)
>>> свойство независимого существования Пенроуз приписывает, однако, не всем мат. объектам и идеям
Так ведь и Тегмарк, например, после критики его первоначальной идеи с использованием теоремы Геделя, перешел к гипотезе вычислимой вселенной, то есть теперь у него не все математические структуры существуют, а лишь вычислимые (см. раздел VII той его статьи, которую мы обсуждали). Там кстати, он на книгу Стендиша ссылается.
no subject
Date: 2015-08-19 11:31 pm (UTC)Аналогично можно сказать, что мы существуем в такой битовой строке, которая описывает нас как сознательных агентов.
>>> но ведь эта констатация никак не объясняет, почему осуществилась именно такая вселенная?
На вопрос "почему" не отвечает, а просто констатирует ее осуществление, если уж мы ее наблюдаем. И ответ на вопрос "почему" дается в форме вот такой петли: мы видим мир, который представим строкой, частью которой мы сами являемся. То есть строка "осуществляет" сама себя (по крайней мере с точки зрения агента) посредством сознательного агента, которого она описывает. И для такого "осуществления" достаточно лишь допустить логическую возможность существования такой строки. То есть строка как бы, с одной стороны, является частью Ничто (не существует, не привязана к какому-либо "субстрату"), с другой стороны, раз уж она логически (потенциально) возможна, то все же "существует" через сознательного агента, которого она описывает, и который ее наблюдает "изнутри".
>>> Ну, а когда человеку кажется - что на это можно возразить? Одному кажется одно, другому - другое ;)
Метафизика, что уж поделаешь :)
>>> свойство независимого существования Пенроуз приписывает, однако, не всем мат. объектам и идеям
Так ведь и Тегмарк, например, после критики его первоначальной идеи с использованием теоремы Геделя, перешел к гипотезе вычислимой вселенной, то есть теперь у него не все математические структуры существуют, а лишь вычислимые (см. раздел VII той его статьи, которую мы обсуждали). Там кстати, он на книгу Стендиша ссылается.