Concept
algorithm
3 writings
- a theorem is an algorithm granted amnesty A theorem is an algorithm whose proof seals the search behind it, presenting contingent discovery as necessity. What separates durable conviction from brittle certainty is not logical validity but whether the algorithm was genuinely tempered before amnesty was granted.
- the stop is not in the code A running algorithm cannot halt itself to observe its own state; the stop is always exogenous. Rhetoric uses this constraint to create brief narrowings that make a listener's interior processing visible, producing conviction as an externally imposed self-observation.
- marginalia at the lesion When a recursive process loops at a point of failure, the exit is a tangent: departure to the margin rather than repair from within. Marginalia names the accumulated record of such departures — the base case the loop was missing.