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

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

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

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

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)

Шаблоны, используемые на этой странице: