Без заголовка

Там у этой исследовательской группы (группа "Аттик") как раз наметился новый поворот в их работе, и они кроме алгоритмики начали цеплять тему моделирования. В частности, взаимомоделирование -- физмоделями абстрактные модели (евклидовы прямые линейками) и абстрактными моделями физмодели (это уж общее место). Так что мне кажется, что наоборот, наметился разворот к обсуждению абстрактных принципов. В частности, звучало, что "платоновский робот-идея расчищает космодромы где-то далеко от Земли, в космосе, а в компьютере и на коврике двигаются только две его модели". Это наоборот, очень крутой поворот: в докладе выдвигается тезис о двустороннем моделировании. Так что с абстрактным всё более чем ОК.