Open research library
Papers you can read, cite and question
728 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.
Results for “foundations” 2 papers
Formal verification. Contracts, assertions and verified implementations Tagged papers: 33.
Operational Axioms Do Not Select the Standard Model: A Formal Audit of a Generalized-Probabilistic-Theory Reconstruction Conjecture
A conjecture in the foundations of physics holds that four operational axioms of generalized probabilistic theories (GPTs) — causality, no-signaling, local tomography, and continuous reversibility — extended to systems with infinitely many degrees of freedom, necessarily yield quantum field theory…
Five Objections, One Standard: An Evidence-Graded Adjudication of a Critique of Post-Quantum Synthesis
A five-point red-team critique of the Post-Quantum Synthesis (PQS) research program was examined point by point against the primary sources it targets and the external literature it invokes. Each objection was graded against a symmetric evidence standard: the objection's own factual premises were…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.