ручки сфер
Jun. 1st, 2009 04:16 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
clayratоб Манина: алгебра порождает структурой время как "ненастоящее бытие": из вычлененных объектов-урэлементов первого класса отделяются какие-то другие объекты (стрелки, команды, функции), имеющие направление, но в то же время принадлежащие первому классу. Операции и замещения (коалгебра?) задают последовательностью время.
Геометрия, видимо, статична по-гештальтному: ее объекты тайно конструируются подсознанием и предъявляются уму уже в совершенном виде.
В этом смысле программа-алгоритм дуалистичен: это одновременно и некоторый актор в потоке данных, и интерфейс к некоторому новому языку (сюда ли относится изоморофизм Карри-Говарда?).
Вопрос: на чем построен и возможен ли "усилитель правого полушария"/"геометрический компьютер"? Сходу к принципам его действия можно отнести (1) произвольное ослабление формализмов - оперирование "размытыми" объектами /ореолами вокруг ядра некоторого строгого понятия/; (2) манипуляция конечными бесконечностями (быть может, тут помогут коалгебраические структуры / гипермножества / ленивые вычисления?); (3) моделирование границ, а не внутренностей объекта.
Управление объектом распадается на две стадии: индукция парадоксального (усиливающего) состояния и обеспечения доступа к чувствительным точкам.
Геометрия, видимо, статична по-гештальтному: ее объекты тайно конструируются подсознанием и предъявляются уму уже в совершенном виде.
В этом смысле программа-алгоритм дуалистичен: это одновременно и некоторый актор в потоке данных, и интерфейс к некоторому новому языку (сюда ли относится изоморофизм Карри-Говарда?).
Вопрос: на чем построен и возможен ли "усилитель правого полушария"/"геометрический компьютер"? Сходу к принципам его действия можно отнести (1) произвольное ослабление формализмов - оперирование "размытыми" объектами /ореолами вокруг ядра некоторого строгого понятия/; (2) манипуляция конечными бесконечностями (быть может, тут помогут коалгебраические структуры / гипермножества / ленивые вычисления?); (3) моделирование границ, а не внутренностей объекта.
Управление объектом распадается на две стадии: индукция парадоксального (усиливающего) состояния и обеспечения доступа к чувствительным точкам.
