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