The Fixed Point of Thought
A working book on symbolic reasoning for builders — how logic, recursion, and self-reference become real systems. Equal parts Gödel, Rust, and lab notebook. Drafting in the open.
A book on symbolic reasoning for builders — The Fixed Point of Thought is the working title; the real one is still resolving.
What it's about
How logic, recursion, and self-reference become real, running systems — and why a reasoning engine that derives beats one that merely predicts. Twenty-two chapters, with nibli as the central case study: compiling an unambiguous human language to first-order logic, backward chaining with proof traces, and federating knowledge over peer-to-peer gossip. Equal parts logic textbook and lab notebook.
Where it's headed
The manuscript is one structural editing pass from ready. The ambition: neurosymbolic venues (NeSy), formal-methods circles, arXiv, and an honest Show HN. If fluency and truth are different axes — and they are — this book is about engineering the second one.