QNFO Papers

Open research library

Papers you can read, cite and question

612 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 2 papers

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.

Policy & oversight. Governance and oversight of a technology Tagged papers: 19.

  1. Logic & formalism

    Beyond-Belief

    If you were to strip away the stained glass, the incense, the holy books, and the political manifestos; if you were to mute the hymns of the cathedral and the chants of the football stadium; if you were to look past the specific names of gods, laws, and scientific theories—what would remain? | You…

  2. Logic & formalismv1.0.1

    Head Over Hands

    This provides a systemic analysis of a recurring philosophical and institutional bias that privileges abstract, elegant, and a priori theoretical constructs over messy, inconvenient, and empirical evidence. This pattern is defined here as the Head Over Hands Fallacy. This new term is introduced…

New papers by email

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