Vladimir312
BANNED | Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору negotiator007 Цитата: почему за основу берётся конечность мира? | Например, Тезис Чёрча — Тьюринга и алгоритмически неразрешимые проблемы http://ru.wikipedia.org/wiki/Теория_алгоритмов Алан Тьюринг высказал предположение (известное как Тезис Чёрча — Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга. Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах). Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки). Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго. В течение первого десятилетия истории теории алгоритмов неразрешимые массовые проблемы были обнаружены лишь внутри самой этой теории (сюда относится описанная выше проблема применимости), а также внутри математической логики (проблема выводимости в классическом исчислении предикатов). Поэтому считалось, что теория алгоритмов представляет собой обочину математики, не имеющую значения для таких её классических разделов, как алгебра или анализ. Положение изменилось после того, как А. А. Марков и Э. Л. Пост в 1947 году установили алгоритмическую неразрешимость известной в алгебре проблемы равенства для конечнопорождённых и конечноопределённых полугрупп (т. н. проблемы Туэ). Впоследствии была установлена алгоритмическая неразрешимость и многих других «чисто математических» массовых проблем. Одним из наиболее известных результатов в этой области является доказанная Ю. В. Матиясевичем алгоритмическая неразрешимость десятой проблемы Гильберта. -------- Если "Вселенная подчиняется алгоритму", то как, если имеет внутри себя алгоритмически неразрешимые задачи? ***** Алан Тьюринг высказал предположение (известное как Тезис Чёрча — Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга. Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем. ------- Недавно американский физик Д.Дойч заметил очевидную вещь. Он обратил наше внимание на то, что вычисление - это физический процесс. Поэтому ограничение на возможные вычислимые функции, изобретенное Черчем и Тьюрингом, посчитал некорректным, ибо они, будучи математиками, а не физиками, ввели эти ограничения чисто интуитивно, не опираясь ни на какие физические соображения. Д.Дойч переформулировал известный принцип Черча – Тьюринга, придав ему физический смысл Д.Дойч "Квантовая теория, принцип Черча – Тьюринга и универсальный квантовый компьютер". Международный журнал "Квантовый компьютер" http://old.rcd.ru/qc/contents/v99-2_r.html Книга Д. Дойча "Структура реальности" - DAVID DEUTSCH "The Fabric of Reality", под общей редакцией академика РАН В.А.Садовничего. Тезис Черча – Тьюринга – Дойча: Каждая конечно реализуемая система может быть полностью промоделирована универсальной моделирующей вычислительной машиной, действующей конечными средствами. ---- Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки). "Эта проблема сводится к проблеме остановки. Оказывается, что не существует более короткого алгоритма, позволяющего выяснить остановится ли такой компьютер, чем сам алгоритм, реализуемый этим компьютером. Но если компьютером является сам мир, то у нас, очевидно нет средств для эмуляции его работы. А это и означает невозможность прогнозирования и соответственно индетерминизм. Очевидно так же, что внешний наблюдатель нашел бы наш мир подчиняющимся унитарной квантовой динамике и мог бы прогнозировать состояния нашего мира просто решая гамильтонову задачу. То есть имеет место субъективный индетерминизм. Я убежден, что именно в субъективности и следует искать корни сознания." | Всего записей: 151 | Зарегистр. 25-10-2006 | Отправлено: 22:36 01-11-2010 | Исправлено: Vladimir312, 22:47 01-11-2010 |
|