Изменения

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

Игра «Жизнь»

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

Навигация