Wolfram Physics Project

Modeling the emergence of spacetime, physical laws and observable phenomena from simple rules and the properties of their multiple computation paths.

Metamathematics Project

Tracing the computational origins of axiomatic systems, the proof they generate and the empirical qualities of the greater metamathematical spaces that such proofs form.

Ruliad Project

Probing the interactive dynamics between computations and surveying the greater structures synthesized from them.