102
правки
Изменения
Нет описания правки
}}
== См.также ==
* [[Неразрешимость исчисления предикатов первого порядка]]
* [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
* [[Примеры неразрешимых задач: задача о замощении|Задача о замощении]]
* [[Примеры неразрешимых задач: однозначность грамматики|Однозначность грамматики]]
* [[Неразрешимость задачи об эквивалентности КС-грамматик]]
* [[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]]
== Примечания ==
* Rendell, P. (2014) Turing machine universality of the game of life. PhD, University of the West of England. Available from: http://eprints.uwe.ac.uk/22323
== Источники информации ==
