Почему в задаче об Ангеле и Дьяволе (теория игр) побеждает Ангел? Очевидно же, что Дьявол может построить стену вокруг Ангела (который привязан к стартовой позиции), нужно только строить стену так далеко, с запасом, на расстоянии больше чем к-ходов, что понадобились бы Ангелу для приближения к ней.
Тут проблема в математической записи или требованиям к "правильным доказательствам"? Потому что логически никаких проблем вроде нет (для меня и моего воображения, пусть даже если мы и имеем дело с бесконечностью).
Наверное всё дело в ограниченности математического синтаксиса?
Был бы рад если объясните в чём вообще сложность этой задачи и почему математики с 1982 не смогли закрыть вопрос.
p.s. У меня к сожалению нет математического бэкграунда. Есть только хорошее воображение и логика из программирования, так что рассуждаю конечно со своей колокольни.

Предыдущий
вопрос Следующий
вопрос