Open research library
Papers you can read, cite and question
611 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Logic & formalism papers 1 paper
Logicians, formal-methods and foundations readers. Formal systems and what they cannot say: Laws of Form and the calculus of indications, distinction and re-entry, self-reference, category theory, coalgebra and bisimulation, proof assistants, computability, formal ontology.
Information theory. Entropy, capacity and coding bounds Tagged papers: 34.
Distinction, Discretisation, and the Cost of Law: A Quantitative Sketch of Approximation Entropy
The deepest question in physics is often posed as "What are the laws?", but a prior question is "What does it cost to state, and to compute with, a law?" Building on the distinction-based formalism of Spencer-Brown's Laws of Form as consolidated in the Quantum Laws of Form (QNFO) programme, and on…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.