Our research projects comprise the core of Institute activity. Undertaken by research fellows under Institute leadership, our high-yield projects are collaborative and outcome driven. All projects share a common goal of maximizing the output of functionality, conceptual inventions and findings for public benefit. With the support of our donors, the Institute will continue to launch and pursue more projects that further apply our distinct methods to new fields.
The Physics Project is an initiative to develop and study discrete models of the fundamental structure of spacetime that demonstrate the emergence of observable phenomena from simple underlying rules and the manner in which the causal and path-like behavior of their computations can assist our understanding of general relativity, quantum mechanics and mathematical physics. Given our dual aims of reproducing physics computationally and yielding new foundational insights from our models, the Institute welcomes physics fellows to work on both fundamental modeling and empirical implications explorable by experimentalists and phenomenologists.
The Metamathematics Project is dedicated to the study of the computational origins, structure and future of mathematics. Metamathematics fellows research the generation of axiomatic systems from simpler computational rules; the properties of proof structures and metamathematical spaces using empirical methods; and lessons for the future of mathematical human-computer interaction gained from theories of observers inheritable from physics.
The goal of the Ruliad Project is to improve our understanding of multicomputation, the modeling paradigm central to all Institute projects that allows us to examine the structure and dynamics of interacting computational paths and their parsing by "observers." At a granular level, doing so involves building new tools and functionality that offer a "multi-view" of the variety of computational paths available for arbitrary rules. At a grand level, the study of multicomputation involves surveying the structural properties of the ruliad, the ultimate object formed from all computational paths.
Over the coming months, the Institute plans to launch a number of new projects. Each will apply the multicomputational paradigm to model systems and technologies across a variety of fields, including economics, molecular computing, evolutionary biology and distributed computing.