claim
active
claim:mere-copying-processes-partial-involutions-are-computationally-universalMere copying processes (partial involutions) are computationally universal
The Geometry of Interaction model shows that simple copying of information between locations suffices for all computation, establishing emergent logic.
Neighborhood — ranked by edge-count
Findings (1)
finding
- The set of fixed-point free partial involutions on a countable set, with composition via interaction, yields a linear combinatory algebra, hence a universal model of computation.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Mere copying of tokens between paired positions suffices to simulate all partial recursive functions and model higher-order logics.
- Argues that sequence linkages reflect deep necessity, not option, for the system to work.
- Extends the brutal geometry thesis beyond architecture into all creative and social domains; acknowledged as not yet confirmed with certainty
- Load-bearing quote from SICP framing computation as spirit-like; grounds the cyberanimism framework
- Fixed-point free partial injective functions used as simple reversible dynamical processes in Geometry of Interaction.
- Key open problem: foundational definitions for process models that match the role of Turing completeness for functional computation.
- The interactive processes described are reversible in a very strong sense, linking logic and physicsclaim0.759Partial involutions are invertible; the same structures can axiomatize quantum mechanics and analyse entanglement.