Принцип позиционности
Сам по себе концепт постоянно подразумевается во всех формальных системах (арифметических, алгебраических, логических, математических и прочих символьных и языковых моделях), когда мы говорим о регулярной грамматике чисел или «сдвигаем каретку абстрактной вычислительной машины». Но насколько этот механизм, подход, приём ... формализован и каково его содержание (например, отношение с той же навигацией).
Существует амбициозная попытка ввести понятие в оборот со стороны расширения алгебры логики, разработать позиционную систему счисления для операций булевой алгебры. Проект имеет приложения в проектировании и моделировании интегральных схем, имеет оригинальную нотацию (конъюнктивной нормальной формы). Существуют даже попытки философии вокруг проблемы полноты или разрешимости, что пока не принципиально для внимания к теме, хотя это безусловно как-то связано. Но сначала надо определить - как. Не в связи, с этим проектом (который нашелся сознательно из общих соображений) новые тиддлеры в METANET и GLOTEON (там же ссылки с подробностями):
Ну и по традиции за отчётный период