Institute Output

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

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

Stephen Wolfram

One of the many surprising (and to me, unexpected) implications of our Physics Project is its suggestion of a very deep correspondence between the foundations of physics and mathematics. We might have imagined that physics would have certain laws, and mathematics would have certain theories, and that while they might be historically related, there wouldn’t be any fundamental formal correspondence between them. 

But what our Physics Project suggests is that underneath everything we physically experience there is a single very general abstract structure—that we call the ruliad—and that our physical laws arise in an inexorable way from the particular samples we take of this structure.

Read More
A Little Closer to Finding What Became of Moses Schönfinkel, Inventor of Combinators
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

A Little Closer to Finding What Became of Moses Schönfinkel, Inventor of Combinators

Stephen Wolfram

For most big ideas in recorded intellectual history one can answer the question: “What became of the person who originated it?” But late last year I tried to answer that for Moses Schönfinkel, who sowed a seed for what’s probably the single biggest idea of the past century: abstract computation and its universality.

Read More
Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel

Stephen Wolfram

Looking back a century it’s remarkable enough that Moses Schönfinkel conceptualized a formal system that could effectively capture the abstract notion of computation. And it’s more remarkable still that he formulated what amounts to the idea of universal computation, and showed that his system achieved it. 

Read More
Combinators and the Story of Computation
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

Combinators and the Story of Computation

Stephen Wolfram

Moses Schönfinkel imagined that with combinators he was finding “building blocks for logic”. And perhaps the very simplicity of what he came up with makes it almost inevitable that it wasn’t just about logic: it was something much more general. Something that can represent computations. Something that has the germ of how we can represent the “machine code” of the physical universe.

Read More
Combinators: A Centennial View
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

Combinators: A Centennial View

Stephen Wolfram

Before Turing machines, before lambda calculus—even before Gödel’s theorem—there were combinators. They were the very first abstract examples ever to be constructed of what we now know as universal computation—and they were first presented on December 7, 1920. In an alternative version of history our whole computing infrastructure might have been built on them. But as it is, for a century, they have remained for the most part a kind of curiosity—and a pinnacle of abstraction, and obscurity. 

Read More
The Empirical Metamathematics of Euclid and Beyond
Computational Essay Stephen Wolfram Computational Essay Stephen Wolfram

The Empirical Metamathematics of Euclid and Beyond

Stephen Wolfram

One of the many surprising things about our Wolfram Physics Project is that it seems to have implications even beyond physics. In our effort to develop a fundamental theory of physics it seems as if the tower of ideas and formalism that we’ve ended up inventing are actually quite general, and potentially applicable to all sorts of areas. One area about which I’ve been particularly excited of late is metamathematics—where it’s looking as if it may be possible to use our formalism to make what might be thought of as a “bulk theory of metamathematics”.

Read More