Проблема остановки: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
EmausBot (обсуждение | вклад) м r2.7.3) (робот изменил: it:Problema della terminazione |
|||
Строка 16:
Докажем это от противного. Допустим, Анализатор существует.
Напишем алгоритм Диагонализатор, который принимает на вход число <math>N</math>, передает пару аргументов <math>(N, N)</math> Анализатору и возвращает результат его работы. Другими словами, Диагонализатор останавливается в том и только том случае, если не
== См. также ==
|