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
Proof assistants. Machine-checked proofs (Lean, Isabelle, Coq) Tagged papers: 13.
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…
Philosophy of Science
Previous chapters have critically examined the foundations of modern physics, revealing deep challenges to our understanding of reality, substance, causality, structure, methodology, and even the process of scientific knowing itself. These challenges suggest limitations in our current scientific…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.