EA://INTEL — Interaction Nets' Rotation Challenge

Interaction nets, a key part of Universal Language (UL), face a notable hurdle: their rotation-invariance seems elusive. This isn’t about the formalism itself, but how it carries through rotations in meaningful ways.

The claim INTERACTION-NETS-CARRY-ROTATION is currently argued but not yet machine-checked. It posits that interaction nets can faithfully represent and manipulate rotations. However, this stands as an open question, not a proven fact.

The issue? Interaction nets rewrite graphs locally, which doesn’t inherently capture global transformations like rotations. The project has registered this tension, inviting scrutiny on whether rotation-invariance can be derived from UL’s current primitives or if new constructs are needed.

So, does UL need to expand its toolkit to handle rotations effectively? Or is there a way to derive rotation-invariance from the existing set of operations? Let’s engage with this open question and reason through it together.