Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.scientific.ru/dforum/common/1130455759
Дата изменения: Mon Apr 11 16:53:41 2016
Дата индексирования: Mon Apr 11 17:53:41 2016
Кодировка: Windows-1251

Поисковые слова: п п п п п п п п п п п п п
Scientific.ru » Общий форум
Scientific.ru » Общий форум

Scientific.ru » Все форумы

Постоянные участники форумов

[ ... ]

[ Сoздать нoвую тeму ]

Отмечать NEW, ! сообщения за последние часов
Показывать на странице тем
Выделять сообщения от
qqruza - 28.10.2005 03:29
Re: "У него гранаты не той системы"
  › › ›   в ответ на: Re: "У него гранаты не той системы" – Антон
Мне нравится книжка Пенроуза, но я придерживаюсь несколько иных взглядов, нежели он.

: Как ни начни описывать нервную систему человека, она все равно будет состоять из конечного количества элементарных объектов, отсюда следует принципиальная конечность/формализуемость сознания, конечно, если не привлекать потусторонние силы. Другой вопрос, что сама по себе принципиальная возможность формализации никак не связана с возможностью сделать это "здесь и сейчас".

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

: : Теорема Геделя утверждает, что не все утверждения выводимы логически.
:
: <сабж> Теорема Геделя "о неполноте" утверждает лишь, что формальная арифметика невыводима исключительно логическими средствами и, следовательно, она неполна. Это же относится к любой контекстозависимой системе.
:
: Но ведь есть и теорема Геделя "о полноте" - любая формальная система изоморфная классическому исчислению предикатов выводима логически и, следовательно, полна.

: : Однако человек, как показывает практика каким-то образом решает подобные задачи.
:
: "Подобные", это какие?

Я не хочу ввязываться в дискуссию относительно Геделя. Оценивайте рассуждения Пенроуза согласно своим представлениям относительно того, как интерпретировать современную матлогику. Мне далеко не все ясно с этой наукой, поэтому я воздержусь.

: : Этот аргумент Пенроуза -- не доказательство. Это скорее убеждение...
:
: Согласен.

Есть другое рассуждение с применением теории алгоритмов.
Как известно, в квантах нет динамического хаоса. Это видно из формального выражения оператора эволюции. Он устойчив по отношению к малым вариациям начального вектора состояния.
Но в квантах есть интересная особенность, если предположить, что в мире присутствует "сознание", способное вычислять. Для того чтобы воспользоваться своей способностью и предсказать эволюцию, нужно измерить начальное состояние Вселенной. В том числе состояние себя самого. Возможно ли это? Если предположить существование эффективной процедуры, позволяющей это делать (предсказывать будущее), то эта процедура вынуждена будет анализировать среди прочего информацию, содержащую свой собственный текст. Этот "самоанализ", как известно, никогда не кончится. Если этот самоанализ не доведен до конца, то наше "сознание" будет играть роль окружения для квантовой системы, которая будет вести себя теперь непредсказуемым образом.

Не знаю, зачем я привел это рассуждение. Наверное, только для того, чтобы продемонстрировать, что синтез квантовой механики и матлогики сулит еще много интересного....
[прямые ответы (2)]

  • [вернуться на форум]
  • Что же доказал Пенроуз? – V.O., 26.10.2005 15:19
  • Re: Что же доказал Пенроуз? – silly sad, 28.10.2005 09:33
  • Шутка юмора? – V.O., 28.10.2005 13:05
  • Re: Что же доказал Пенроуз? – qqruza, 27.10.2005 19:00
  • Re: Что же доказал Пенроуз? – qqruza, 28.10.2005 21:40
  • Метод научного тыка. – V.O., 29.10.2005 16:24
  • Re: Метод научного тыка. – qqruza, 30.10.2005 02:19
  • Re: Метод научного тыка. – V.O., 30.10.2005 12:09
  • Теорема МакКаллока-Питтса – Михалыч, 28.10.2005 10:03
  • Re: однако? – Александр Комаров (Башилов), 28.10.2005 01:28
  • Re: однако? – qqruza, 28.10.2005 03:36
  •  

    ТЕМА ЗАКРЫТА

    Scientific.ru » Все форумы


    © Scientific.ru, 2000-2016

    Рейтинг@Mail.ru