Изменения

== Сверхтьюринговые вычисления == '''Сверхтьюринговыми вычислениями ''' (или '''гипервычислениями ''' (англ. ''hypercomputation'')) называются такие вычисления, которые не могут быть проделаны на [[Машина Тьюринга|машине Тьюринга]]

Предполагаемые способы сверхтьюринговых вычислений*Artificial Recurrent Neural Network <ref>[http://en.wikipedia.org/wiki/Recurrent_neural_network Wikipedia {{---}} Artificial Recurrent Neural Network]</ref>.  Машина тьюринга которая ::В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN) может выполнить бесконечное число шаговгипервычисления, используя бесконечную точность. Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить гипервычисления.Один из математических способов - Машина Зенона*Неограниченный детерминизм.Машина Зенона выполняет свой первый шаг за 1 минуту::Техника, следующий шаг за 1/2 минутыизвестная как неограниченный детерминизм, следующий за 1/4 и тпозволяет вычислять невычислимые функции.дЭто вопрос является предметом обсуждения в литературе.Суммируя 1+1*Использование замкнутых времениподобных кривых<ref>[https:/2+1/4ru.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>, что машина выполняет бесконечно количество шагов за 2 минуты. Вечная машина Тьюринга это обобщение машина Зенонавопреки распространённому мнению, которая может выполнить неопределенно продолжительное вычислениене позволяет выполнять сверхтьюринговые вычисления, шаги в котором перенумерованы потенциально трансфинитными ординальными числамитак как отсутствует бесконечный объём памяти.

В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network == Машина Зенона =={{Определение|definition ='''Машина Зенона''' (ARNNангл. ''zeno machine'')&mdash; это гипотетическая компьютерная модель, может выполнитьгипервычислениясвязанная с машиной Тьюринга, используя бесконечную точностькоторая способна совершить счётное количество алгоритмических шагов за конечное время. В большинстве моделей вычислений такие машины не рассматриваются. Также она предложила модель}}Некоторые функции, основанную которые не могут быть вычислены на бесконечной эволюции нейронных сетеймашине Тьюринга, способную проводить гипервычислениямогут быть вычислены с использованием машины Зенона.Например, на ней может быть решена проблема остановки (что иллюстрируется следующим псевдокодом):

ТехникаТакие вычисления, известная как неограниченный детерминизмвыходящие за рамки возможности машины Тьюринга, может позволять вычисление невычислимых функций. Это вопрос является предметом обсуждения в литературеназываются гипервычислениями.

Использование замкнутых времениподобных кривых'''Замечание:'''Стоит заметить, вопреки распространённому мнениючто проблема останова машины Зенона не может быть решена на самой машине Зенона. Хоть программы со счётным числом операций работают конечное время, всё равно программа на МЗ может зависнуть. Пусть МЗ решает такую задачу: ей надо вывести все двоичные последовательности бесконечной длины.Известно, что таких последовательностей — континуум.А MЗ за бесконечное время выведет только не позволяет выполнять сверхтьюринговые вычисленияболее чем счётное множество таких поиследовательностей, так как отсутствует бесконечный объём памятине более чем счётное объединение не более чем счётных множеств является не более чем счётным. Значит, МЗ может зависнуть. Поэтому для по аналогичным для МТ рассуждениям проблема останова для МЗ неразрешима.

Множится число исследователей, полагающих, что существуют процессы, требующие методов, которые не охвачены теорией Тьюринга. == Источники информации ==Такова, в частности, позиция сторонников теории гиперкомпьютинга и, соответственно, гипервычислений, понимаемых как сверхтьюринговых*[https://en. Теоретическая разработка 1wikipedia. Процесс может быть использован в математических целях, если и только если его поведение на входеorg/выходеwiki/Hypercomputation Wikipedia {{---}} Hypercomputation]*[https: а) либо детерминистично, либо приблизительно детерминистично и вызываемая им ошибка может быть сведена к произвольно малой величине; б) определяется за конечное число шагов//ru. 2wikipedia. Процесс Р может быть использован в его физических качествах, если и только если его поведение на входеorg/выходе в соответствии wiki/%D0%A1%D0%B2%D0%B5%D1%80%D1%85%D1%82%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F Wikipedia {{---}} Сверхтьюринговые вычисления]с научными данными может быть использовано для моделирования других специфических процессов.  Существует несколько десятков проектов супертьюринговых машин. В одних случаях допускается ввод информации еще на стадии выполнения программы, в других делается попытка отказаться от линейности времени* [https: оно замедляется, ускоряется, замыкается. Как известно из физики, такие процессы действительно существуют//ru. Делаются попытки использовать актуальную бесконечность: имеется в виду, что сумма бесконечного числа членов может иметь вполне определенное значениеwikipedia. Но самые большие надежды возлагаются на квантовые компьютерыЧтобы осуществить вычисление, воorg/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%97%D0%B5%D0%BD%D0%BE%D0%BD%D0%B0 Wikipedia {{-первых, необходимо управлять кубитами, во-вторых, дать реализоваться квантовому алгоритму, в-третьих, измерить состояния кубитов регистра. }} Машина Зенона]В принципиальном отношении все три операции осуществимы* [http://arxiv.  такие гипотетические устройства Тьюрингом были рассмотрены еще в 1939 годуorg/ftp/math/papers/0209/0209332. pdf Hypercomputation: computing more than the Turing machine]Это машины с оракулом. Под оракулом понимается некая сущность, [[Категория: Теория формальных языков]]способная «вычислять» невычислимые функции или решать алгоритмически неразрешимые проблемы. [[Категория: Теория вычислимости]]Тьюринг показал, что для таких машин проблемы, сформулированные относительно них самих (например, проблема останова машины с оракулом) ими же являются неразрешимыми. Это напоминает древний парадокс[[Категория: может ли всемогущий бог создать камень, который сам не сможет поднять?.. Поэтому даже если сверхтьюринговые вычисления физически реализуемы, для них также найдутся неразрешимые проблемы. Видимо, что-то не так с самой формой постановки этих проблем, неразрешимых ни алгоритмически, ни божественно.Вычислительные формализмы]]