QNFO Papers

Open research library

Papers you can read, cite and question

609 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.

Laws of Form papers 45 papers

Laws of Form. Spencer-Brown, re-entry, calculus of indications Tagged papers: 45.

  1. Logic & formalism

    The Oscillator as an Element: Static and Dynamical Analyses of the Imaginary Boolean Value in the Algebra of Eventually Periodic Truth Sequences

    Revision-theoretic treatments of the liar paradox produce an oscillator $\iota = \langle U,P,U,P,\ldots\rangle$ that alternates between two states forever, but they leave $\iota$ a process rather than a value. This paper tests the conjecture that $\iota$ can be promoted to a static element of a…

  2. Numbers & p-adicsv2.0.0

    Flag Structures and the Flagging Act: A Cross-Domain Survey with Explicit Counting Derivations and a Posed Re-Entry Problem

    The word "flag" names a family of mathematically precise objects — chains of nested subspaces (flag varieties), nested set systems with exchange axioms (flag matroids), asymptotic-inequality certificates (flag algebras), and directional curvature invariants of Finsler spaces — and, in ordinary…

  3. Logic & formalism

    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…

  4. Logic & formalismv2.0.0

    Re-Entry as a Binary Prohibition Law: Enumeration, Impossibility, and the Three-Outcome Completion

    Self-referential constraints arise in hardware security, programmable logic, and symbolic execution tools, where a system must forbid a state while generating the very operation that enforces the prohibition. The open question is whether a re-entering form of the calculus of indications — a…

  5. Physics

    Re-Entry Modes in Solid-State Quantum Devices: A Calculus of Distinctions with Fully Shown Quantitative Benchmarks

    Laws of Form proposed that the act of drawing a distinction is the primitive operation from which logic, mathematics, and physics can be constructed, and identified "re-entry" — the re-insertion of a form into its own indicational space — as the mechanism by which self-referential structure acquires…

  6. Logic & formalism

    Ontological Re-Entry: What Can We Say Exists?

    This paper addresses the "re-entry" problem in ontology: given a theory, formalism, or model built over some primitive vocabulary, what can we legitimately say exists when we project that structure back onto the world, and what does answering the question cost a physically bounded observer? We…

  7. Physics

    Master Calibration for Non-Overlapping Physical Frameworks: Composition, Closure, and the Limits of Partial Translation

    Physics presents itself as convergent, yet systematic inventories of its foundations list dozens of unresolved bifurcations—general relativity versus quantum mechanics, continuum versus discrete description, the Heisenberg cut, the status of the observer. We propose that such schisms are symptoms of…

  8. Numbers & p-adics

    Number Systems as Stratified Distinction Operations: An Enclosure Hierarchy over the Mark

    We develop a formal sketch of the conjecture that the major number systems arise from successive primitive acts of distinction applied to a Laws-of-Form-like mark. We model each historical-cognitive stage — tallying ($\mathbb{N}$), ratio comparison ($\mathbb{Q}$), convergent sequences (computable…

  9. AI & knowledge

    Is the Meta-Pattern of Reification Physically Real? A Reconciled Audit with a Quantified Cost Framework

    A the QNFO archive document (https://papers.qnfo.org/papers/meta-pattern-of-reification-in-physics/) proposes a "Meta-Pattern of Reification in Physics" and poses the question of whether this pattern is something physically real rather than a descriptive regularity. This paper treats that question…

  10. Physics

    Re-Entry of Non-Markovian Boson-Mediated Transport into Light-Harvesting Complexes: A Timescale-Based Applicability Analysis

    A recent framework for non-Markovian Hamiltonian dynamics of boson-mediated energy transfer (QNFO, https://papers.qnfo.org/papers/non-markovian-hamiltonian-dynamics-of-boson-mediated-energy-transfer/) was developed for generic bosonic transport networks. This paper asks whether that framework…

  11. Numbers & p-adics

    Archimedean Constants as Measure-Theoretic Artifacts of the Infinite Place: A Reconciled Derivation of the Local Status of $\pi$

    Ostrowski's theorem partitions the non-trivial completions of $\mathbb{Q}$ into exactly one Archimedean place ($\mathbb{R}$) and countably many non-Archimedean places ($\mathbb{Q}_p$). Mainstream physics is formulated exclusively at the Archimedean place, and its most ubiquitous transcendental…

  12. Numbers & p-adics

    The Number Builder: Enclosure Sequences in the Laws of Form Calculus as a Constructive Route to Computable Reals

    We propose and partially develop the Number Builder conjecture: every computable real can be generated by a finite specification of a re-entry structure in Spencer-Brown's Laws of Form (LoF) calculus of distinctions, in which each re-entry step appends a nested rational enclosure whose interval…

  13. Logic & formalismv0.2.0

    Distinction-Lattice Framework: Eigenforms, Bisimulation, and the Realizability Boundary of Self-Reference

    A conservative formal version of DLF: stable entities are bisimulation classes of observational behaviour, certified coinductively, with realizability separated from fixed-point existence. v0.2.0 narrows novelty claims and corrects the JPCUB/Landauer bridge. Published at papers.qnfo.org…

  14. Physicsv0.4

    Conditional Truths and the Locale Framework: Map, Territory, and the Rendering Interface

    Every physical statement is a conditional truth: it holds only within a locale --- a specified vacuum or symmetry sector, background geometry, medium, energy scale, or observer frame. This paper formalizes the resulting locale framework in four moves. First, a catalog of conditional truths (photon…

  15. Numbers & p-adicsv1.2

    The Exchange Phase as a Logical Scalar: R = e^(2 pi i s) from the Re-Entrant Calculus

    The boson/fermion dichotomy is conventionally presented as a primitive classification of nature. Recent work established that the underlying invariant is the relation between the exchange phase of identical particles and their topological spin, R = e^{2πis}, with the dichotomy as its shadow in three…

  16. Logic & formalismv0.2-draft

    Formal Self-Reference Limits: Objectification, Anthropocentric Conventions, and the Partial Self-Knowledge of Formal Systems

    This paper answers the seed question: why are our formal quantitative systems uncomfortable with self-reference when they are also inherently anthropocentric — from base-10 pentadactylity to the heartbeat-Hertz second and the body-scaled meter — and can we not truly see ourselves? We defend the…

  17. Logic & formalismv1.1

    The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications

    A critique-first paper: Boolean logic and set theory reify the void (the unmarked state) into false and the empty set, committing a category error; false is a mark, the void is not a value. A reconstruction program (distinction-logic with inside/outside/oscillating states) is labeled conjecture with…

  18. Numbers & p-adicsv1.3

    The Idempotent Core: Quantity as Broken Distinction and the Hidden Assumptions of Arithmetic and Algebra

    A critique-first paper on arithmetic's hidden premise: 1+1=2 presupposes two distinguishable marks; idempotence (AA=A) is the primitive law; quantity is created distinction, not repetition. Reconstruction program (Z from ! modality) labeled conjecture with falsifiability conditions.

  19. Logic & formalismv0.9

    The Calculus of Re-Entrant Distinctions: A Unified Treatise on the Loop, the Tree, and the Constants of Self-Reference

    This treatise develops a single thesis: that the primitive act of distinction — the drawing of a boundary between marked and unmarked — generates, under the discipline of re-entry and linear resource management, the constants $e$ and $\pi$, the landscape of completions of the rational numbers, the…

  20. Logic & formalism

    The Computable Real Boundary: Where Physics Ends and Cognitive Fiction Begins

    Every experiment reduces to a finite act of distinction. This paper argues that the boundary between physics and what lies beyond it coincides exactly with the computable reals. Drawing on Spencer-Brown's Laws of Form, its QNFO extension, and independent work on the physical Church-Turing thesis…

  21. Numbers & p-adics

    Pillar 3: PBO/Autaxys — Pattern-Based Ontology as Intrinsic Self-Ordering

    PBO/Autaxys: Pattern-Based Ontology as Intrinsic Self-Ordering

  22. Physicsv2.0

    The Two-Level Lie: The Transmon Is Not a Qubit — And the Entire Field Knows It

    v2.0 adds Part II: The Approximation Entropy — a meta-mathematical framework quantifying the irreducible cost of translating continuous bosonic physics to discrete digital computation. Introduces Rosetta Constant, Trotter Wall, and Fractal Wall theorem with a falsifiable calorimetry experimental…

  23. Logic & formalismv1.2

    The Ontology of Boundary-Crossing: Spencer-Brown Cancellation Rule Defended

    Systematic defense of Spencer-Brown Cancellation rule: establishes structural isomorphism with quantum measurement collapse via three-outcome dynamics (Varela 1975, corroborated by 29-schisms numerical search 2026). 4-level M-property justification framework. Boson-fermion observer analysis. 14…

  24. Numbers & p-adics

    Infomatics: An Axiomatic Framework for Information as Fundamental Substrate

    Axiomatic framework treating information as fundamental substrate. 4 axioms, 4 theorems. QED from information action. Fine-structure constant alpha=1/137. p-adic correction c1=5 matches 0.0014%. Falsifiable prediction: small-integer p-adic expansion of 1/alpha.…

  25. Logic & formalismv2.1.1

    Quantum Laws of Form

    George Spencer-Brown's Laws of Form (1969) proposed the act of drawing a distinction as the primitive operation from which logic, mathematics, and physics can be constructed. This consolidation synthesizes known quantum correspondences, identifies 7 open problem categories, and proposes 4…

  26. Physicsv2.0.0

    Strange Loop Theory of Physical Quantization

    Starting from a single axiom—the Principle of Informational Stability—this theory derives the necessity of a self-referential (strange loop) topology, demonstrating that physical reality, with its quantized properties and computational dynamics, is the unique, self-consistent solution to the problem…

  27. Physics

    Emergent Physical Reality

    This work presents a comprehensive, first-principles derivation of physical reality, positing that the universe is a hierarchical, emergent structure founded upon a minimal set of foundational postulates governing information, conservation, and logical inference. The argument proceeds in two stages:…

  28. Numbers & p-adics

    Identity of Zero

    This document presents a formal analysis of the identity of zero across mathematical, logical, informational, and physical domains. This work rejects the notion of zero as “nothingness,” proposing instead that zero is a dynamic void—a structured, operational concept whose properties are not…

  29. Cross-cutting essays

    Two-Faced Scientific Methodology

    Modern scientific practice often exhibits a significant disconnect between its idealized self-image and its actual operational procedures, creating a methodological double standard. This allows dominant scientific paradigms, termed theoretical attractor states, to become deeply entrenched and…

  30. Physics

    Computational Syntax of Reality

    The persistent reliance on continuous, substance-based ontologies in theoretical physics has precipitated a crisis of non-renormalizable infinities, demanding a radical shift toward discrete relational foundations. By shifting to an epistemic foundation built entirely on a finite substrate of…

  31. Logic & formalism

    Formal Ontology of Distinction and Invariance

    This document presents the complete, self-compliant synthesis of the Ontic Relational Patternism framework. Starting from a single primitive syntactic token—the mark—and three context-closed reduction rules (Calling, Crossing, Void), we derive a purely relational universe where the cross-ratio is…

  32. Physicsv2.0.0

    Syntactic Generation

    Traditional models of physical reality rely on the assumption of foundational substances. These base materials are typically conceptualized as particles, fields, or continuous spatial manifolds. Such approaches inevitably generate persistent philosophical dualisms and questions regarding ultimate…

  33. Logic & formalism

    Algorithmic-Necessity-of-Agency

    This treatise presents a comprehensive theoretical synthesis resolving the dialectic between the subjective experience of free will and the objective reality of a superdeterministic universe. By integrating the foundational principles of quantum mechanics—specifically the violation of statistical…

  34. Logic & formalism

    The Threshold of Meaning

    Chapter 1: Defining the Undefinable–Language, Semantics, and the Limits of Words - 1.1 The Problem of Contested Terms: “Life,” “Death,” and “Afterlife”–Historical, legal, biological, and spiritual definitions. - 1.2 Linguistic Registers: Propositional, Performative, Narrative, Poetic–How context…

  35. Physicsv2.0.0

    WINDING NUMBERS AND STRANGE LOOPS

    The historical preference for linear mathematical frameworks in physics represents a profound ontological oversight. This paper establishes that physical reality emerges not from linear foundations with circular corrections, but from circular/topological primitives with linear projections. The…

  36. Logic & formalism

    Universal Computational Topos

    This work presents a comprehensive mathematical framework for understanding computational self-reference through the unification of hierarchical computational theories and meta-computational approaches. We establish that the Computational Trinity Principle—distinguishing Object, Model, and Meta…

  37. Physics

    EMERGENT CORRELATION IN A LOCAL-DETERMINISTIC UNIVERSE

    This paper investigates the foundational schism between the ontological coherence of superdeterminism and its epistemic rejection by the scientific community. Superdeterminism, a proposed solution to quantum non-locality, preserves locality and realism by rejecting the axiom of Measurement…

  38. Logic & formalism

    Excluded Middle as Computational Boundary

    This research investigates the validity of the constructivist critique of Turing completeness, which is founded upon the rejection of the Principle of the Excluded Middle (PEM). By employing a systematic, multi-layered framework, this paper deconstructs the logical chain from L.E.J. Brouwer’s…

  39. Cross-cutting essays

    New School of Athens

    Raphael’s School of Athens is more than a masterpiece of the High Renaissance; it is a near-perfect visual schema of the central tension in Western thought. At its focal point, Plato’s finger directs our gaze upward, to a transcendent realm of Forms, of pure pattern and a priori truth. Beside him,…

  40. Logic & formalism

    Reconstructive Ontology of Brouwerian Intuitionism

    This study reconstructs the ontological foundations of Brouwerian intuitionism, arguing that the rejection of the principle of the excluded middle (PEM) is not a technical choice but a necessary consequence of the ur-intuition of time. Drawing on L.E.J. Brouwer’s primary texts from 1905 to 1948, we…

  41. Physics

    Universal Hamiltonian as Process Verb

    The ontological status of quantum mechanics remains suspended between two mutually exclusive grammatical categories: the continuous, reversible “Verb” of unitary evolution and the discrete, irreversible “Noun” of the measured state. This paper reconciles this tension by mapping the physics of…

  42. Logic & formalism

    Epistemic Cut

    An inquiry into the foundational principles of physics necessitates a rigorous examination of the relationship between reality and the scientific models constructed to describe it. This text introduces a formal epistemology designed to clarify this relationship, positing that many of the most…

  43. Physics

    Scale-Invariant Reality

    The foundational principles of a scale-free, epistemically-grounded reality establish the philosophical and mathematical bedrock upon which the entire Scale-Invariant Epistemic Framework is constructed. This framework posits that physical reality is fundamentally scale-invariant, with no intrinsic…

  44. Autonomous systems

    Final Project / Phase Report: Strange Loop of Being - Initial Drafting Phase

    (Version: 1.0) (Status: Final - Phase Halted for Process Review) (Filename: CLOSE-SLOB_Phase1_Drafting-v1.0.md) Project/Phase Name: Strange Loop of Being - Initial Drafting Phase (Chapters 1-16 attempt) Reason for Closure: Halting current drafting phase due to persistent inconsistencies in AI output…

  45. Physicsv1.1.1

    Strange Loop Formal Derivation

    This paper presents a rigorous mathematical derivation of the Standard Model of particle physics as the unique, stable solution to a universal fixed-point equation. Starting from the Principle of Informational Stability—the axiom that the universe must preserve information to sustain stable…

New papers by email

One short weekly digest: titles and links. No tracking; unsubscribe any time.