Изменения

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

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

22 байта добавлено, 19:57, 10 марта 2019
Предполагаемые способы сверхтьюринговых вычислений:
== Предполагаемые способы сверхтьюринговых вычислений: ==
* Машина Тьюринга, которая может выполнить бесконечное число шагов.
::Один из математических способов &mdash; Машина Зенона. Машина Зенона выполняет свой первый шаг за <tex dpi=150> \displaystyle 1 </tex> минуту, следующий шаг за <tex dpi=150> \displaystyle \frac{1}{2}</tex> минуты, следующий за <tex dpi=150> \displaystyle \frac{1}{4}</tex> и т.д.::Суммируя <tex dpi=150> \displaystyle 1+\frac{1}{2}+\frac{1}{4} \dots</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
*Вечная машина Тьюринга.
Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат.
'''<tex> p(M,x){:}</tex>'''
записать 0 в первую ячейку на второй ленте
'''while''' ''true'':
* Процесс может быть использован в его физических качествах, если и только если его поведение на входе/выходе в соответствии с научными данными может быть использовано для моделирования других специфических процессов.
== Проекты супертьюринговых машин ==
Существует несколько десятков проектов супертьюринговых машин. :
* попытка отказаться от линейности времени: оно замедляется, ускоряется, замыкается. Как известно из физики, такие процессы действительно существуют;
* делаются попытки использовать актуальную бесконечность: имеется в виду, что сумма бесконечного числа членов может иметь вполне определенное значение;
36
правок

Навигация