Publications, Writings and Speeches

Mathematics

2025

Who Can Understand the Proof? A Window on Formalized Mathematics

January 9, 2025

2024

Nestedly Recursive Functions

September 27, 2024

Can AI Solve Science?

March 5, 2024

2022

“Practical and Theoretical Applications of Finite Models in the Foundations of Math” with the Australasian Association for Logic

November 13, 2022

“Theorem Proving in Metamathematics, the Universe and More” at AITP 2022

September 9, 2022

Keynote at Laws of Form Conference 2022

August 5, 2022

“Mathematics, Computation, and Nature” at Numbers and Nature 2022

June 2, 2022

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

March 8, 2022

“How Features of Our Consciousness Seem to Define Our Laws of Physics” at the Mathematical Consciousness Science Seminar

January 17, 2022

2021

The Concept of the Ruliad

November 10, 2021

Multicomputation with Numbers: The Case of Simple Multiway Systems

October 7, 2021

Multicomputation: A Fourth Paradigm for Theoretical Science

September 9, 2021

1920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge

June 8, 2021

How Inevitable Is the Concept of Numbers?

May 25, 2021

The Problem of Distributed Consensus

May 17, 2021