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

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

Задача об Ангеле и Дьяволе в теории игр является сложной из-за того, что она связана с концепциями бесконечности и непрерывности. Она требует анализа стратегий игроков в бесконечном пространстве, что делает ее сложной для формального математического доказательства.

В вашем рассуждении есть логическая ошибка. Дьявол не может построить стену на расстоянии большем, чем к-ходов, потому что тогда Ангел сможет преодолеть это расстояние. Если Дьявол строит стену на расстоянии, равном к-ходам, то в следующий ход Ангел сможет подойти еще ближе и, в конечном итоге, добраться до цели.

Математики до сих пор не смогли полностью решить эту задачу из-за ее сложности и нестандартности. Несмотря на множество работ и исследований, окончательный ответ на вопрос о том, победит ли Ангел или Дьявол в этой игре, до сих пор остается неизвестным.

Таким образом, сложность этой задачи заключается не только в ограниченности математического синтаксиса, но и в сложности самой игры и требованиях к ее формальному доказательству.