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