Explorer
Imagine a fish physicist. She is brilliant. Over centuries her tradition has built a physics of astonishing power: pressure, buoyancy, viscosity, the propagation of waves, the beautiful nonlinearities of turbulence. It predicts everything she can measure. It has no loose ends worth losing sleep over. Read More The Fish Who Could Not Imagine Air The post The Fish Who Could Not Imagine Air appeared…
Mathematics is producing proofs faster than it has ever produced them, and mathematical progress has not accelerated. That fact is not a paradox. It is the clearest available evidence for a structural claim about artificial intelligence — one that can be stated precisely, proved in three independent ways, and, uncomfortably, does not say what most people want it to say. Read More No Fixed Frame Is…
A few months ago I started wondering what cellular automata would look like on a more exotic lattice than the usual square or hexagonal grid. The result is tiling-patterns a fully interactive, GPU-accelerated cellular automaton running on the Kisrhombille tiling , with a searchable rule space and over 130 hand-curated presets that produce genuinely strange and beautiful long-run dynamics. Read…
I ve published a live, interactive visualization of the field at the heart of my physics research program, and you can run it in your browser right now, with nothing to install: novaspivack.github.io/ugp-physics/visualizations/phimdl_kink_dynamics This is not an artist s rendering or a cartoon of the theory. Read More Watch a Universe s Field Equations Run: A Live Visualization of Φ_MDL Kink…
This article presents the Universal Generative Principle (UGP) — a machine-verified arithmetic framework that derives the Standard Model of particle physics from three axioms and a unique integer seed, with no free parameters. It covers the full arc of the programme: from the original Standard Model derivation through computational universality, the discovery of the Φ_MDL continuum field, emergent…
Naming the successor to the knowledge worker. There is a small and growing group of people who are producing cognitive work at a scale the rest of the world cannot yet perceive. They are doing in months what used to take decades. Read More The Orchestrator The post The Orchestrator appeared first on Nova Spivack .
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗ When two researchers working in entirely different traditions — one in process ontology and Chinese philosophy, one in formal logic and machine-checked proof — independently arrive at structurally identical conclusions about the boundary between…
New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗ Every AI lab is making an implicit claim about whether large language models can ever be conscious. Scale up far enough, or add enough memory, or fine-tune on enough philosophy, and perhaps something will flicker on. Read More Turing-Computability…
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 · Part 2 · Part 3 · Part 4 · Part 5 · Part 6: Beyond the Abstraction Fallacy A Google DeepMind researcher recently published one of the most-read papers in the current AI consciousness debate, arguing that…
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 The post Toward a…
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 The post Neural CA: Spatial…
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:…
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 (20 repos covering the NEMS and UGP Physics programs), see the research index or the Zenodo program hub . Read More My Public…
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 The post The Concepts Behind…
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 The post Is the Universe Sentient? What the Formal Proofs Say appeared first on…
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 The post How to Build a Sentient Machine: The Three…
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 The post Actual vs. Artificial Intelligence: Why…
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,…
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 The post Mind Uploading…
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 The post What…
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 The post What the Mystics…
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…
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 The post NEMS and God:…
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…
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…
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…
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…
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…
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 The post…
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…
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 —…
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…
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…
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 The post…
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…
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 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…
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…
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…
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…
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…
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 The post No AI Can Fully Verify Itself: The Formal…
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…
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 The post What Makes…
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…
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…
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…
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…
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…
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…