Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>>>Исходный код игры может быть любым, в том числе содержать условие if(counter > 1e9) do_not_jump = true;, а может не содержать
V>>Тогда он должен работать по тем же законам математики.
EP>Механика игры? Несомненно. Только причём тут это. Речь о том что ты не можешь доказать будущий отклик, а не о том что там внутри какие-то мистические механизмы
Если она работает на тех же законах, то мне это и не нужно доказывать. Зачем? Я и так знаю что нет там никаких нарушений уже установленных законов.

EP>>>Так как ты выберешь между двумя вариантами? У тебя есть информация только об ограниченном количестве повторений, скажем о миллионе. Как, опираясь только на эту информацию ты выберешь правильный вариант?
V>>Это уже совсем другая история, но для начала выбора я должен знать что он есть.
EP>С чего бы это? Вот мы о нашем мире знаем только то, что дано нам в ощущениях.
Это не так, мы знаем гораздо больше чем видим и чувствуем. Откуда? Из математики.

EP>Вот и перед тобой игра с ограниченным вводом/выводом — давай, вперёд и с песней — ДОКАЖИ будущий результат.
Это тебе надо доказать что повторений не будет бесконечное количество раз, зачем мне доказывать что и так работает? Мне достаточно доказать, что это работает на каком-то отрезке, этого будет достаточно.

EP>>>Теперь ключевой момент — покажи где в реальном мире применима эта модель, и попробуй ДОКАЗАТЬ соответствие исходных аксиом модели реальному миру.
V>>В видео это и доказывается, соответствие реальному миру. Или в реальном мире нету ни шаров, ни торов, а только очередной чёрный ящик?
EP>Не показывается там никакого соответствия, а уж тем более не доказывается, только апелляция к некоторым интуитивным абстрактным понятиям типа шар
Шар это строгое математическое понятие а не интуитивное, для него есть конкретное определение.

EP>Собственно уши этой всякой интуиции торчат в физике до сих пор. "Атом" знаешь как переводится? А "планета"? А про корпускулярно-волновой разрыв шаблона слышал?
Какое это имеет отношение к обсуждаемому?

V>>>>Мне не надо доказывать, я могу поставить начальное условие, которые не надо доказывать.
EP>>>Например.
V>>1+1=2
EP>Это абстрактная модель, основанная на аксиомах/предположениях.
Где здесь 1 основано на аксиомах?