From Axiom Engine to Deferential Realism: How Stories Generate Philosophy

A Bridge Essay I. The Pattern in Ten Stories If you've just read The Axiom Engine, you've experienced something unusual: mathematical theorems as lived constraints. The Oracle tried to predict and failed. The Arbiter tried to satisfy all axioms and collapsed. The Wanderer walked freely and discovered necessity. Each story followed the same arc: Confusion … Continue reading From Axiom Engine to Deferential Realism: How Stories Generate Philosophy

The Axiom Engine: A Phenomenology of Abstract Structures

Prologue We usually treat mathematical structures as things we look at—diagrams on a page, symbols in a line, objects to be manipulated by the intellect. But they are not objects. They are environments. They are the invisible architectures that determine what is possible, what is impossible, and what is necessary. You do not just solve … Continue reading The Axiom Engine: A Phenomenology of Abstract Structures

Constraints Liberate, Liberties Constrain

https://www.youtube.com/watch?v=GqmsQeSzMdw Interesting throughout. Main points: Build in abstractions, with symbols and functions.Counter-intuitively, abstractions make precision possible.The more expressive a language, the more ambiguous the content.Or more generally, freedom at one level implies constraints at another level.Plan for interoperability and extension, which also implies limits.As much authority is necessary, but no more.The more something can do, … Continue reading Constraints Liberate, Liberties Constrain