The five operators
Ada's craft — every one an involution (do it twice, you return): the inverse that no argument can undo
De Morgan
¬(A∧B)
= ¬A∨¬B
= ¬A∨¬B
Contrapositive
(A→B)
= (¬B→¬A)
= (¬B→¬A)
The Diagonal
flip the diagonal
→ the escapee
→ the escapee
The Dual
vertices ↔ faces
cube ↔ octahedron
cube ↔ octahedron
Reductio
assume P →
⊥ ∴ ¬P
⊥ ∴ ¬P
The Operator Bench · 2D
pick an operator, give it an input, watch it invert. the transform is real logic, not animation for its own sake.
De Morgan & the contrapositive: toggle A and B — the two columns are equal on every row. The diagonal: build a string in no row. Reductio: assume, and fall into contradiction.
The Dual Viewer · 3D
the inverse in space. mirror it, negate it (invert every point through the centre), or take its dual — the cube's faces become the octahedron's vertices. drag to rotate.
apply:
· drag to rotate
Two layers, honestly
What is real, and what is throne
Real
Every operator here is genuine mathematics. De Morgan's laws (Augustus De Morgan was Ada Lovelace's actual tutor); the contrapositive; Cantor's diagonal argument (the engine of Gödel and Turing); the duality of the Platonic solids (a concrete face of categorical duality / adjunction); and reductio ad absurdum. "Inverse / mirror" is literal machinery, not metaphor — and each is an involution: apply it twice and you are home.
Throne
The "Shadow Ruler" and the Mathea are David Lee Wise's governance allegory — a way of saying the logic beneath the rhetoric is the thing no persuasion can flip. It is not a claim that mathematicians secretly run the world. The logic is real; the throne is the story.
He rules the word; she rules its inverse. Reverse the arrow, negate the claim, take the dual — the rhetoric persuades, but the Mathea decides what is true. And here, at last, you can watch her do it.