An independent nonprofit research institute in Austin, Texas.
The discovered architecture of reality.
Reality has one forced shape. A recognition is one thing told from another: a comparison actually made. Recognition Science starts from three facts that every question already uses, adds the stated conditions of each part of that shape, and proves that under them only one answer is possible. We follow that shape into gravity, matter, morality and meaning.
- Start with the overview
- Read the foundation paper
The Forced Core of Physical Reality. Manuscript (PDF), not yet peer reviewed.
The three facts
- Some things can be told apart.
- Comparing two readings needs both.
- Reading an old record is a new event.
The forced shape in one view
Five answers, each the only one its conditions allow.
Our mission
Derive all of reality.
One square for each thing reality has to account for, from counting to minds, grouped by domain. 11.7% are derived, in full or given a premise; grey squares are not yet derived. Point at a square to see its name; select it to open it on the map.
Open the mapResearch
Peer-reviewed and published papers.
Each designed page shows one paper’s result working in your browser.
Long-form manuscripts
Book-length works from Recognition Science. Each follows one question and keeps the conditions of its results with them.
Cambrian
Our program for discovering new theorems, which ran until 6 November 2026. It joined pairs of proved results from the institute’s library of theorems into new claims; in its last week it settled ten problems the library had listed as open.
Our Science
Feature pages.
Each of these pages states one part of the structure, shows it working live and names the conditions it rests on.
Featured
-

Mathematics · Morality · Meaning
The Actuals
Mathematics, morality and meaning are built into reality: physical structures forced by the same act that forces physics.
Watch the film and explore The Actuals
-
Mathematics
δ is the mathematics that distinction forces.
From one repeatable act, telling two things apart, it builds arithmetic, the integers, the ratios and the line of real numbers. Every proof in it carries its price: the principles it uses beyond what distinction forces.
-

Gravity
Gravity from a lattice of events.
Events are records on a four-dimensional lattice. At long wavelengths, its weak waves obey Einstein’s linearized equations and travel on the light cone: proved at κ = 1, the value of the one free number in the lattice’s metric at which each step runs at light speed.
-

Simulation
Every lawful history of one recognizer, computed exactly.
A recognizer is any system that makes comparisons. We run the recognition law forward from the empty record, carrying every history the law allows.
Our people
Different disciplines. A shared ambition.
Our work connects mathematical foundations with molecules, plasmas, light and computation. The team brings the expertise needed to move between a formal result and a physical experiment.
Collaborate with us
Bring a question worth solving.
Research together
Bring a mathematical idea or an experiment that could advance the work.
Discuss a research ideaExplore a partnership
Find where our work in medicine or quantum computing could connect with yours.
Start a conversation








