Civilization is building systems that reason about themselves, audit themselves, and govern themselves — without a formal science of what self-referential systems can and cannot do. That gap is not merely academic. It is costing us clarity about AI safety, interpretability, consciousness, and the foundations of physics.… Read More “Toward a New Science of Self-Referential Systems”
This is a browser-based cellular automaton experiment that takes a different approach to the same challenge as the trend-aware experiment: how do you keep a self-tuning CA alive and interesting? Here the key innovation is that the rule parameters are not uniform scalars — they are spatial fields.… Read More “Neural CA: Spatial Parameter Fields and Greatest-Hits Memory”
This is a browser-based cellular automaton in which two cooperating neural agents learn — in real time, from scratch — to keep the simulation alive and interesting. No pre-training, no external data. The neural network trains itself as the simulation runs, and the agents use what they’ve learned to steer the system away from death and toward sustained complex behavior.… Read More “Neural CA: Trend-Aware Agents Learn to Keep a Cellular Automaton Alive”
All of my public repositories are on GitHub at github.com/novaspivack. This post collects the non-Lean code projects — simulations, experiments, and mathematical software — along with pointers to the formal research they connect to.
For the Lean 4 formal proof libraries (17 repos covering the full NEMS research program), see the research index or the Zenodo program hub.… Read More “My Public Code Repositories”
Every formal research program has a vocabulary. The words matter — not as jargon, but because each one names a distinction that the theory cannot function without. This article is a reader’s lexicon for the Reflexive Reality program: what each key concept means, why it is needed, and how the pieces fit together.… Read More “The Concepts Behind NEMS: A Reader’s Lexicon”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: Mind, Intelligence, and Sentience — What NEMS Proves · Parts 1–3: The Nature of Self · Actual vs.… Read More “Is the Universe Sentient? What the Formal Proofs Say”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: Mind, Intelligence, and Sentience — What NEMS Proves · Parts 1–2: Nature of Self · Actual vs.… Read More “How to Build a Sentient Machine: The Three Conditions and What They Require”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: Mind, Intelligence, and Sentience — What NEMS Proves · Part 1: The Nature of Self · Part 2: Actual vs.… Read More “Actual vs. Artificial Intelligence: Why Real Intelligence Requires a Frontier”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: Mind, Intelligence, and Sentience — What NEMS Proves (4-part) · All research ↗
This is Part 1 of a four-part series on what NEMS formally proves about mind, intelligence, and sentience.… Read More “The Nature of Self: What NEMS Proves About Self-Models at Every Scale”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Mind uploading — scanning a brain and running the data on a new substrate — is widely discussed as a path to digital immortality.… Read More “Mind Uploading Won’t Work the Way You Think — Here’s What It Would Actually Require”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Mind uploading — the idea of transferring a mind from a biological brain to a digital substrate — is one of the most discussed proposals in transhumanist and AI-adjacent thought.… Read More “What Mind Uploading Would Actually Require”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS and Spiritual Traditions (3-part) · All research ↗
This is Part 1 of a three-part series on NEMS and the spiritual traditions.… Read More “What the Mystics Got Right: NEMS and the Contemplative Traditions”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS and Spiritual Traditions · Part 1: What the Mystics Got Right · Part 2: NEMS and Free Will: The Third Option · Part 3 below
The free will debate has been trapped between two options for three centuries: hard determinism (everything follows algorithmically from prior states — you could not have done otherwise) or some form of indeterminism (random quantum events introduce genuine chance).… Read More “NEMS and Free Will: The Third Option”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS and Spiritual Traditions · Parts 1–2 above · Part 3: NEMS and God: What the Formal Proofs Say and Don’t Say
NEMS does not say God does not exist.… Read More “NEMS and God: What the Formal Proofs Say and Don’t Say”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: Major Results from the Portal Papers · All research ↗
When a reflexive system encounters content it cannot fully internalize — a structural limit it cannot get past — what are the lawful options?… Read More “The Reflexive Development Law: What Genuine Progress Actually Looks Like”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Observers — systems like us that experience, record, and adjudicate reality — are usually treated as evolutionary accidents, products of a long biological contingency that could easily have not happened.… Read More “Why the Universe Must Have Observers: Necessary Adjudicators”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
What if the universe is not a physical system that happens to encode information — but something closer to a distributed error-correcting code, where the distributed record fragments of the universe behave like codewords imposing constraints on each other?… Read More “The Universe as a Semantic Error-Correcting Code”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
The NEMS formal program started as a framework for physics and consciousness. Along the way, its fiber architecture produced new machine-checked results on recognized classical mathematical objects — group extensions, cohomology, and the first Lean 4 proof of Quillen’s Theorem A for Galois connections.… Read More “New Results in Classical Mathematics: Group Extensions and Quillen’s Theorem A”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Why can’t neuroscience find consciousness in the brain? Why do philosophers keep pointing to an “explanatory gap”? A machine-checked theorem gives the formal answer: consciousness — awareness — is not an object in the world.… Read More “Awareness Is Not an Object: The Locus Theorem”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Why does the universe keep changing? Why do minds keep learning? Why is there always more? The reflexive closure theorems give a precise, non-mystical answer: change is structurally necessary.… Read More “Why Change Is Structurally Necessary”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Bell’s inequalities prove quantum correlations are real and non-local — two particles, measured far apart, show correlations that no local hidden variable theory can explain.… Read More “Semantic Nonlocality: Correlation Without Signaling, Formally Proved”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Diversity is usually argued for on ethical or pragmatic grounds. A suite of machine-checked theorems proves it is structurally necessary — not a recommendation, but a consequence of the diagonal barrier.… Read More “Why Diversity Is Not Just Good — It Is Structurally Necessary”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
What is intelligence? Not pattern-matching. Not optimization. Not Turing-completeness. Not integrated information. A machine-checked formal definition gives five levels of the chooser hierarchy, a central theorem proving that intelligence requires a live frontier, and the unified result that reality itself is recursively intelligent in a structural sense.… Read More “A Formal Theory of Intelligence: What NEMS Proves About What Intelligence Actually Is”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Can machines become conscious? This is the most contested question in AI and philosophy of mind. Every major AI lab is making implicit claims — either that current systems have something like experience, or that consciousness will emerge from scale, or that it is permanently impossible for computation.… Read More “Can Machines Become Conscious? The NEMS Answer”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness, Mind, and Ontology (5-part) · All research ↗
This is Part 1 of a five-part series on consciousness, mind, and the nature of reality.… Read More “The Necessity of an Ontological Ground: The Alpha Theorem”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness · Part 1: Alpha Theorem · Part 2: The Hard Problem Is a Category Error · Parts 3–5 below
David Chalmers’ “hard problem of consciousness” asks why physical processes give rise to subjective experience.… Read More “The Hard Problem Is a Category Error: What NEMS Shows”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness · Parts 1–2: Alpha Theorem · Hard Problem · Part 3: Qualia Are Real · Parts 4–5 below
Eliminativist philosophers argue that qualia — the felt character of experience — don’t really exist.… Read More “Qualia Are Real: A New Kind of Phenomenology”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness · Parts 1–3 above · Part 4: The Three-Aspect Unification · Part 5 below
Is reality fundamentally material, or fundamentally mental, or something else?… Read More “The Three-Aspect Unification: Ground, Being, and Awareness”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness · Parts 1–4 above · Part 5: Why Off-Ledger Entities Don’t Exist
Hidden variables, Boltzmann brains, simulation substrates, ghost consciousness — all of these postulate entities that are “real” but not part of the semantic ledger of actual observable facts.… Read More “Why Off-Ledger Entities Don’t Exist: Ghost Collapse”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Logic and Mathematics · Part 1 (published) · Part 2: The Positive Face of Inexhaustibility · Parts 3–4 below
The closure theorems — Gödel’s incompleteness, Turing’s halting undecidability, the NEMS diagonal barrier — are usually read as negative results.… Read More “What Remains When Self-Exhaustion Is Impossible: The Positive Face”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Logic and Mathematics · Parts 1–2: Master Fixed Point · Positive Face · Part 3: The Architecture of the Irreducible Remainder · Part 4 below
We know something always remains structurally unreachable in any reflexive system.… Read More “The Architecture of the Irreducible Remainder”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Logic and Mathematics · Part 4: The No-Free-Bits Principle
Every theory makes claims. Some of those claims are genuinely supported by the theory’s internal structure.… Read More “The No-Free-Bits Principle: Why No Theory Can Import Hidden Determinacy”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on AI Safety and Agency (5-part) · All research ↗
This is Part 1 of a five-part series on what NEMS proves about AI.… Read More “No AI Can Fully Verify Itself: The Formal Proof”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on AI Safety · Part 1: No AI Can Verify Itself · Part 2: Scaling Doesn’t Fix the Self-Model Problem · Parts 3–5 below
Every effort to make AI systems more interpretable, more self-aware, more accurately self-modeling runs into the same wall: there is always a part of the system that the system’s model of itself cannot capture.… Read More “Scaling Doesn’t Fix the Self-Model Problem”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on AI Safety · Parts 1–2: No AI Can Verify Itself · Scaling Doesn’t Fix the Self-Model Problem · Part 3: What Makes Something a Genuine Agent?… Read More “What Makes Something a Genuine Agent? The SIAM Theorem”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on AI Safety · Parts 1–3 above · Part 4: AI Cannot Simulate Its Way to Consciousness · Part 5 below
A common intuition holds that sufficiently sophisticated simulation of consciousness eventually becomes consciousness — that if a system produces all the right outputs, maintains all the right representations, and behaves exactly as a conscious system would behave, then it is conscious.… Read More “Why AI Cannot Simulate Its Way to Consciousness”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on AI Safety · Parts 1–4 above · Part 5: No Institution Can Be the Final Judge
AI governance, scientific peer review, courts of law, democratic institutions — all of these are verification systems.… Read More “No Institution Can Be the Final Judge: What NEMS Tells Organizations”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: NEMS on Physics (4-part) · All research ↗
This is Part 1 of a four-part series on what NEMS proves about physics.… Read More “Why the Born Rule Is the Only Possible Probability”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Physics (4-part) · Part 1: Born Rule · Part 2: Standard Model · Part 3: Arrow of Time · Part 4: Exotic Physics
The Standard Model’s gauge group — SU(3)×SU(2)×U(1) with three generations of fermions — has always seemed like a lucky accident.… Read More “Why the Standard Model Gauge Group Is the Only Possible Choice”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Physics (4-part) · Part 1: Born Rule · Part 2: Standard Model · Part 3: Arrow of Time · Part 4: Exotic Physics
The laws of physics are mostly time-symmetric — they work the same forward and backward.… Read More “Where Does Time’s Arrow Come From?”
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Physics (4-part) · Parts 1–3: Born Rule · Standard Model · Arrow of Time · Part 4: Exotic Physics
Science fiction loves exotic physics: time travel, wormholes, black-hole computers that solve undecidable problems, quantum entanglement as a telephone.… Read More “Black Holes, Time Travel, and the Limits of Exotic Physics”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: The Formal Theory of Transputation (3-part) · All research ↗
This is Part 1 of a three-part series on transputation — the universe’s third mode of operation.… Read More “The Universe Is Not a Clock and Not a Dice Roll: The Third Option”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: The Formal Theory of Transputation (3-part) · All research ↗
This is Part 2 of a three-part series on transputation.… Read More “What Is Transputation? The Formal Theory and DSAC”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: The Formal Theory of Transputation (3-part) · All research ↗
This is Part 3 of a three-part series on transputation.… Read More “The Simulation Hypothesis Refuted: Five Independent Grounds”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: Viable Continuation — Applied Theorems · All research ↗
AI systems, legal orders, biological organisms, ecosystems, markets, civilizations, and scientific communities all fail.… Read More “The Four Ways Systems Fail: A Formal Theory of Viable Continuation”
New to this research? This article is part of the Reflexive Reality formal research program — a suite of 93+ machine-checked papers and 17 Lean 4 proof libraries. Brief introduction ↗ · Full research index ↗
Series: NEMS and Novelty Theory — The Combined Picture · All research ↗
Two formally independent research programs — NEMS and Novelty Theory — approach the same deep question from opposite directions.… Read More “Fixed Laws, Permanent Openness: What NEMS and Novelty Theory Tell Us Together”
There is a question so basic that physics has never seriously tried to answer it: why does the universe have the laws it has rather than some other laws? A new formal framework — No External Model Selection, or NEMS — takes this question seriously and derives theorems from it.… Read More “What Would a Universe With No Outside Look Like? The NEMS Answer”
Not all possible universes are equal. A formal sieve, derived from the requirement that the universe have no outside, partitions all possible foundational theories into four classes. The universe we observe falls into a specific class — and this placement has provable consequences for everything from quantum mechanics to the existence of observers.… Read More “The Classification of Universes: What NEMS Proves About the Structure of Possible Worlds”
The NEMS program has produced dozens of structural laws — precise, memorable, and applicable far beyond physics. These are not philosophical opinions or empirical generalizations. Each one is a machine-checked theorem, or a compressed interpretive consequence of a machine-checked theorem. Here are the most important ones, stated plainly.… Read More “The NEMS Proverbs: What Closure Teaches Us”
Over the past several years I have been building a substantial formal research program — machine-verified, mathematically precise, and published with permanent DOIs on Zenodo. Today I am making the full index available at novaspivack.com/research. This post is an introduction to what the program covers and why I think it matters.… Read More “Introducing My Formal Research Program: From the Foundations of Reality to the Structure of Mind”