102
правки
Изменения
Нет описания правки
|statement=
Проблема останова игры «Жизнь» неразрешима.
|proof = Заметим, что если существует МТ, которая по начальной конфигурации игры «Жизнь» может определить, завершается ли она, то та же МТ может определить останавливается ли любая МТ, что противоречит неразрешимости проблемы останова для МТ.
}}
== См.также ==
