Выдержка из книги
Булос Д.N.
Вычислимость и логика
Проблема усердного бобра ( ее формулировка и доказательство неразрешимости даны Радо Тибором в Bell System Tecnical Journal, May 1962, с. Тьюринга, вычисляющей функцию р, - причем машины, использующей в качестве символов только В к I. Доказательство неразрешимости этой проблемы опирается на свойства функции р, сформулированные в упр.
