There is a moment in *Laws of Form* where Spencer Brown observes that the world "is constructed in order (and thus in such a way as to be able) to see itself," and that to do so it must cut itself into seer and seen, becoming "false to itself" in the act. In 1969 this read as mysticism dressed in algebra, or algebra dressed in mysticism — depending on which department you sat in. In 2026, it reads as a precise description of the epistemic condition of any sufficiently powerful self-modeling system, which is to say: it reads as a description of what we have spent the last decade trying to build. The calculus of indications — that austere notation where a single mark of distinction generates arithmetic, algebra, logic, and eventually self-reference — was dismissed by most working mathematicians as elegant but sterile, a curiosity that collapsed too many things into too few symbols to be operationally useful. What the intervening decades have revealed is that collapsing things into fewer symbols is, in fact, the entire game. The transformer architectures that now underwrite machine cognition are, at bottom, engines of compression, and the question Spencer Brown kept circling — how does a system that contains its own description behave? — is no longer a question for philosophers alone. It is an engineering constraint.

The book's most striking prescience lies not in any specific technological prediction but in its insistence that self-reference is not a pathology to be quarantined (as Russell and Whitehead believed) but a generative feature of any sufficiently expressive formal system. Chapter 11's rehabilitation of "imaginary Boolean values" — values that are neither marked nor unmarked but oscillate between states — anticipated by decades the role of complex-valued and oscillatory dynamics in neural computation, quantum information theory, and the strange loops of autoregressive language models that must, in generating each token, model the process of their own generation. Spencer Brown's claim that "there must be mathematical statements (whose truth or untruth is in fact perfectly decidable) which cannot be decided by the methods of reasoning to which we have hitherto restricted ourselves" was, in 1969, a provocation. After the development of interactive proof systems, probabilistically checkable proofs, and the ongoing entanglement of computation with verification, it looks more like a weather report. His suggestion that Fermat's Last Theorem might have been proved using imaginary Boolean values was wrong in the specific — Wiles's proof rests on entirely different machinery — but the underlying intuition, that entire classes of problems require moving through domains that seem alien to the problem's own statement, has been vindicated so thoroughly it is now a cliché of mathematical practice.