[userpic]

Re: Интерфейсы аптайм содержат готовые ответы ↑

bavi в посте Metapractice (оригинал в ЖЖ)

Аптайм не запрещает обдумывания, но оно требует реализации обдумывания во "внешнем" контексте, а не в погружении во внутреннее обдумывание.
На некоторое время забыл эту тему и вот после прочтения этой мысли, пришло на ум вот, что:
- задача что-то сделать с минусом/переворачиваем знака (что есть даунтайм), но мне кажется он присутствует уже и ничего переворачивать не надо, только прописать/найти новую закономерность.
О чем я говорю. Например, у нас есть условие:
Все Х есть M
Все M есть Y
Ответ здесь уже записан XY
Далее:
Все Х есть M'
Все M есть Y
Ответ здесь X'Y. Получается он уже присутствует в самой записи, когда мы убираем М, то остается в верхней строке X', а в нижней просто Y
(Здесь есть еще разборка с кванторами, но это потом)
Как-то так. Эта мысль пришла сразу как прочитал ответ. Записал. Не проверял на большом массиве условий. Вопрос заключается, точно ли я уловил условия создания интерфейса?
Вторая идея. Можно внешние рассуждения/переворачивания вести через вопросы по ходу коммуникации.