Изменения

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

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

445 байт добавлено, 00:31, 8 января 2015
Нет описания правки
Такие гипотетические устройства Тьюрингом были рассмотрены еще в 1939 году.
Это машины с [http://neerc.ifmo.ru/wiki/index.php?title=%D0%A1%D0%BB%D0%BE%D0%B6%D0%BD%D0%BE%D1%81%D1%82%D0%BD%D1%8B%D0%B5_%D0%BA%D0%BB%D0%B0%D1%81%D1%81%D1%8B._%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D1%81_%D0%BE%D1%80%D0%B0%D0%BA%D1%83%D0%BB%D0%BE%D0%BC оракулом]. Под оракулом понимается некая сущность,
способная «вычислять» невычислимые функции или решать алгоритмически неразрешимые проблемы.
Тьюринг показал, что для таких машин проблемы, сформулированные относительно них самих (например, проблема останова машины с оракулом)
== Предполагаемые способы сверхтьюринговых вычислений: ==
* Машина тьюринга которая может выполнить бесконечное число шагов.
::Один из математических способов &mdash; Машина Зенона. Машина Зенона выполняет свой первый шаг за <texdpi=150>1</tex> минуту, следующий шаг за <texdpi=150>\frac{1}{2}</tex> минуты, следующий за <texdpi=150>\frac{1}{4}</tex> и т.д.::Суммируя <texdpi=150>1+\frac{1}{2}+\frac{1}{4}</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
*Вечная машина Тьюринга.
* попытка отказаться от линейности времени: оно замедляется, ускоряется, замыкается. Как известно из физики, такие процессы действительно существуют;
* делаются попытки использовать актуальную бесконечность: имеется в виду, что сумма бесконечного числа членов может иметь вполне определенное значение;
* но самые большие надежды возлагаются на [https://ru.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D0%B2%D1%8B%D0%B9_%D0%BA%D0%BE%D0%BC%D0%BF%D1%8C%D1%8E%D1%82%D0%B5%D1%80 квантовые компьютеры]. Чтобы осуществить вычисление, во-первых, необходимо управлять кубитами, во-вторых, дать реализоваться квантовому алгоритму, в-третьих, измерить состояния кубитов регистра. В принципиальном отношении все три операции осуществимы.
== См. также ==
* [[Вычислимые функции]]
Анонимный участник

Навигация