Изменения
Нет описания правки
== Сверхтьюринговыt вычисления =={{Определение|definition ='''Сверхтьюринговыми вычислениями ''' (или '''гипервычислениями ''' (англ. hypercomputation)) называются такие вычисления, которые не могут быть проделаны на машине Тьюринга
, а следовательно не исчислимы в рамках тезисов Черча-Тьюринга.
}}
Такие гипотетические устройства Тьюрингом были рассмотрены еще в 1939 году.
Это машины с оракулом. Под оракулом понимается некая сущность,
способная «вычислять» невычислимые функции или решать алгоритмически неразрешимые проблемы.
Тьюринг показал, что для таких машин проблемы, сформулированные относительно них самих (например, проблема останова машины с оракулом)
ими же являются неразрешимыми. Это напоминает древний парадокс: может ли всемогущий бог создать камень,
который сам не сможет поднять?.. Поэтому даже если сверхтьюринговые вычисления физически реализуемы,
для них также найдутся неразрешимые проблемы. Видимо, что-то не так с самой формой постановки этих проблем,
неразрешимых ни алгоритмически, ни божественно.
== Предполагаемые способы сверхтьюринговых вычислений: == * Машина тьюринга которая может выполнить бесконечное число шагов.
Один из математических способов - Машина Зенона.
Машина Зенона выполняет свой первый шаг за 1 минуту, следующий шаг за 1/2 минуты, следующий за 1/4 и т.д.
Суммируя 1+1/2+1/4...(геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
* Вечная машина Тьюринга это обобщение машина Зенона, которая может выполнить неопределенно продолжительное вычисление,
шаги в котором перенумерованы потенциально трансфинитными ординальными числами.
* В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN), может выполнить
гипервычисления, используя бесконечную точность.
Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить гипервычисления.
*Техника, известная как неограниченный детерминизм, может позволять вычисление невычислимых функций. Это вопрос является предметом обсуждения в литературе.
== Возможность супертьюринговых машин ==
Множится число исследователей, полагающих, что существуют процессы, требующие методов, которые не охвачены теорией Тьюринга.
Такова, в частности, позиция сторонников теории гиперкомпьютинга и, соответственно, гипервычислений, понимаемых как сверхтьюринговых.
с научными данными может быть использовано для моделирования других специфических процессов.
Смысл двух приведенных выше тезисов состоит в обосновании возможности сверхтьюринговых машин, способных осуществлять гипервычисления.
== Проекты супертьюринговых машин ==
Существует несколько десятков проектов супертьюринговых машин.
