>>4144147 Судя по упоминанию необходимых и достаточных, это был не самый последний прошлый тред!
Анону, говорившему о том, что описание пазлов сводимо к символьной логике, хотел передать, что не возражаю (тогда я, возможно, неправильно понял его слова: не как банальную констатацию того, что какой-то формальный способ где-то есть). Но тогда речь просто не о новой логике, а о способе применения старой. (такими словами немного нарываюсь на посыл читать) И классифицировать всё равно надо.
Это буквально вопрос парадигмы (философии применения и представления) и того как ассемблер поможет высокоуровнему мышлению.
>Зачем обязательно вся эта повёрнутость на задачах?
Пазлы это уже хотя бы жанр компьютерных игр. Язык описания пазлов позволяет выпустить шедевр, изменить или закрыть жанр. Повышается интеллект игроков, они умеют решать, составлять и запоминать пазлы. Здравствуй генерация пазлов, решающий пазлы AI. Язык описания пазлов является практически универсальным языком ("объяснение условий" — это спор, идеи и тонкости словоупотребления, физические гипотезы, паттерны и тесты на IQ). За пазлами механики, за механиками моделирование...