Глава 6. "Способности" роботов

К наиболее поразительным результатам логической теории алгоритмов относится установление факта существования неразрешимых проблем и обнаружение большого числа конкретных проблем такого характера. Мы пользуемся в своей теории дискретных роботов аналитической теорией алгоритмов, но не можем не обратить внимание на эти результаты логической теории. Прежде всего нас интересует вопрос, не является ли неразрешимость фатальной для теории роботов? И что это вообще такое? Может быть, это математическая "фикция", вроде точек, не имеющих никаких измерений? И в вопросах практики она не страшна?