Редактирование: Сверхтьюринговые вычисления (гипервычисления)

Перейти к: навигация, поиск

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

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 12: Строка 12:
 
для них также найдутся неразрешимые проблемы.  
 
для них также найдутся неразрешимые проблемы.  
 
== Предполагаемые способы сверхтьюринговых вычислений: ==
 
== Предполагаемые способы сверхтьюринговых вычислений: ==
* Машина Тьюринга, которая может выполнить бесконечное число шагов.
+
* Машина тьюринга которая может выполнить бесконечное число шагов.
::Один из математических способов &mdash; Машина Зенона. Машина Зенона выполняет свой первый шаг за <tex>\displaystyle 1 </tex> минуту, следующий шаг за <tex> \displaystyle \frac{1}{2}</tex> минуты, следующий за <tex>\displaystyle \frac{1}{4}</tex> и т.д.
+
::Один из математических способов &mdash; Машина Зенона. Машина Зенона выполняет свой первый шаг за <tex dpi=150> 1 </tex> минуту, следующий шаг за <tex dpi=150> \frac{1}{2}</tex> минуты, следующий за <tex dpi=150> \frac{1}{4}</tex> и т.д.
::Суммируя <tex>\displaystyle 1+\frac{1}{2}+\frac{1}{4} \dots</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
+
::Суммируя <tex dpi=150> 1+\frac{1}{2}+\frac{1}{4}...</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
  
 
*Вечная машина Тьюринга.
 
*Вечная машина Тьюринга.
Строка 20: Строка 20:
 
::шаги в котором перенумерованы потенциально трансфинитными ординальными числами.
 
::шаги в котором перенумерованы потенциально трансфинитными ординальными числами.
  
*Artificial Recurrent Neural Network <ref>[http://en.wikipedia.org/wiki/Recurrent_neural_network Wikipedia {{---}} Artificial Recurrent Neural Network]</ref>.  
+
*Artificial Recurrent Neural Network <ref>[http://en.wikipedia.org/wiki/Recurrent_neural_network Artificial Recurrent Neural Network]</ref>.  
::В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN) может выполнить гипервычисления, используя бесконечную точность. Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить гипервычисления.
+
::В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN), может выполнить гипервычисления, используя бесконечную точность. Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить гипервычисления.
 
*Неограниченный детерминизм.
 
*Неограниченный детерминизм.
::Техника, известная как неограниченный детерминизм, позволяет вычислять невычислимые функции. Это вопрос является предметом обсуждения в литературе.
+
::Техника, известная как неограниченный детерминизм, может позволять вычисление невычислимых функций. Это вопрос является предметом обсуждения в литературе.
*Использование замкнутых времениподобных кривых<ref>[https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%BC%D0%BA%D0%BD%D1%83%D1%82%D0%B0%D1%8F_%D0%B2%D1%80%D0%B5%D0%BC%D0%B5%D0%BD%D0%B8%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%BD%D0%B0%D1%8F_%D0%BA%D1%80%D0%B8%D0%B2%D0%B0%D1%8F Википедия {{---}} Замкнутая времениподобная кривая]</ref>, вопреки распространённому мнению, не позволяет выполнять сверхтьюринговые вычисления, так как отсутствует бесконечный объём памяти.
+
*Использование замкнутых времениподобных кривых<ref>[https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%BC%D0%BA%D0%BD%D1%83%D1%82%D0%B0%D1%8F_%D0%B2%D1%80%D0%B5%D0%BC%D0%B5%D0%BD%D0%B8%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%BD%D0%B0%D1%8F_%D0%BA%D1%80%D0%B8%D0%B2%D0%B0%D1%8F Замкнутая времениподобная кривая]</ref>, вопреки распространённому мнению, не позволяет выполнять сверхтьюринговые вычисления, так как отсутствует бесконечный объём памяти.
  
 
== Машина Зенона ==
 
== Машина Зенона ==
Строка 34: Строка 34:
  
 
Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат.  
 
Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат.  
  '''<tex> p(M,x){:}</tex>'''
+
  '''<tex> p(M,x):</tex>'''
   записать 0 в первую ячейку на второй ленте
+
   записать 0 в первую ячейку на второй ленте ленте
 
   '''while''' ''true'':
 
   '''while''' ''true'':
 
     смоделировать очередной шаг работы данной машины Тьюринга на данном входе на первой ленте
 
     смоделировать очередной шаг работы данной машины Тьюринга на данном входе на первой ленте
Строка 47: Строка 47:
  
 
'''Замечание:'''
 
'''Замечание:'''
Стоит заметить, что проблема останова машины Зенона не может быть решена на самой машине Зенона. Хоть программы со счётным числом операций работают конечное время, всё равно программа на МЗ может зависнуть.  
+
Стоит заметить, что проблема останова для самой машины Зенона не может быть решена на машине Зенона. Хоть программы со счётным числом операций работают конечное время, всё равно программа на МЗ может зависнуть.  
 
Пусть МЗ решает такую задачу: ей надо вывести все двоичные последовательности бесконечной длины.
 
Пусть МЗ решает такую задачу: ей надо вывести все двоичные последовательности бесконечной длины.
 
Известно, что таких последовательностей — континуум.
 
Известно, что таких последовательностей — континуум.
А MЗ за бесконечное время выведет только не более чем счётное множество таких поиследовательностей, так как не более чем счётное объединение не более чем счётных множеств является не более чем счётным. Значит, МЗ может зависнуть. Поэтому для по аналогичным для МТ рассуждениям проблема останова для МЗ неразрешима.
+
МЗ может вывести одну бесконечную последовательность за конечное время, конечное число последовательностей за конечное время, и за бесконечное время счётное число последовательностей. Известно, что не более чем счётное объединение не более чем счётных множеств является не более чем счётных. То есть за бесконечное время МЗ не выведет все бесконечные двоичные последовательности. Значит, может зависнуть. Выходит, для неё проблема останова неразрешима.
  
 
== Возможность супертьюринговых машин ==
 
== Возможность супертьюринговых машин ==
Строка 59: Строка 59:
 
* Процесс может быть использован в его физических качествах, если и только если его поведение на входе/выходе в соответствии с научными данными может быть использовано для моделирования других специфических процессов.
 
* Процесс может быть использован в его физических качествах, если и только если его поведение на входе/выходе в соответствии с научными данными может быть использовано для моделирования других специфических процессов.
 
== Проекты супертьюринговых машин ==
 
== Проекты супертьюринговых машин ==
Существует несколько десятков проектов супертьюринговых машин:
+
Существует несколько десятков проектов супертьюринговых машин.
 
* попытка отказаться от линейности времени: оно замедляется, ускоряется, замыкается. Как известно из физики, такие процессы действительно существуют;  
 
* попытка отказаться от линейности времени: оно замедляется, ускоряется, замыкается. Как известно из физики, такие процессы действительно существуют;  
 
* делаются попытки использовать актуальную бесконечность: имеется в виду, что сумма бесконечного числа членов может иметь вполне определенное значение;
 
* делаются попытки использовать актуальную бесконечность: имеется в виду, что сумма бесконечного числа членов может иметь вполне определенное значение;

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)

Шаблоны, используемые на этой странице: