clayrat | ручки сфер

об Манина: алгебра порождает структурой время как "ненастоящее бытие": из вычлененных объектов-урэлементов первого класса отделяются какие-то другие объекты (стрелки, команды, функции), имеющие направление, но в то же время принадлежащие первому классу. Операции и замещения (коалгебра?) задают последовательностью время.

Геометрия, видимо, статична по-гештальтному: ее объекты тайно конструируются подсознанием и предъявляются уму уже в совершенном виде.

В этом смысле программа-алгоритм дуалистичен: это одновременно и некоторый актор в потоке данных, и интерфейс к некоторому новому языку (сюда ли относится изоморофизм Карри-Говарда?).

Вопрос: на чем построен и возможен ли "усилитель правого полушария"/"геометрический компьютер"? Сходу к принципам его действия можно отнести (1) произвольное ослабление формализмов - оперирование "размытыми" объектами /ореолами вокруг ядра некоторого строгого понятия/; (2) манипуляция конечными бесконечностями (быть может, тут помогут коалгебраические структуры / гипермножества / ленивые вычисления?); (3) моделирование границ, а не внутренностей объекта.

Управление объектом распадается на две стадии: индукция парадоксального (усиливающего) состояния и обеспечения доступа к чувствительным точкам.

Threaded | Top-Level Comments Only

From: (Anonymous)

Я не помню, как выбрался из проклятых внутренностей этой гробницы. Кошмарные урэлементы обвивали мои ноги, так что я сорвал ногти, вырываясь из их липких, ленивых структур. Карри и Говард остались в той пещере, смытые потоком изоморофизма.
Моё подсознание не осмеливается предъявить уму размытую геометрию той ужасающей твари: некоторые ядра, светящиеся в формализме, размытые ореолы, скачущие по стенам. И самое ужасное - о боже! нет! нет! - рвущие Карри и Говарда огромные щупальца, гаргантюанские клешни: бесконечные конечности!!!