Изменения
Нет описания правки
== Предполагаемые способы сверхтьюринговых вычислений: ==
* Машина тьюринга которая может выполнить бесконечное число шагов.
::Один из математических способов — Машина Зенона.Машина Зенона выполняет свой первый шаг за <tex>1</tex> минуту, следующий шаг за <tex>\frac{1}{2}</tex> минуты, следующий за <tex>\frac{1}{4}</tex> и т.д.
Суммируя <tex>1+\frac{1}{2}+\frac{1}{4}</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.
*Неограниченный детерминизм
::Техника, известная как неограниченный детерминизм, может позволять вычисление невычислимых функций. Это вопрос является предметом обсуждения в литературе.
*::Использование замкнутых времениподобных кривых, вопреки распространённому мнению, не позволяет выполнять сверхтьюринговые вычисления, так как отсутствует бесконечный объём памяти.
== Машина Зенона ==
{{Определение
