- 
                                
                                    Multicomputational Irreducibility
- 
                                
                                    The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
- 
                                
                                    The Concept of the Ruliad
- 
                                
                                    Multicomputation: A Fourth Paradigm for Theoretical Science
- 
                                
                                    After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More
- 
                                
                                    Exploring Rulial Space: The Case of Turing Machines