Stephen Wolfram

MARCH 5, 2024

But the computer let me discover just by systematic enumeration the 2-state, 3-color machine that in 2007 was proved universal (and, yes, it’s the simplest possible universal Turing machine). In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. So why does this work?

Science 124

Science Sciences Computer Mathematics 124

Stephen Wolfram

SEPTEMBER 9, 2021

Mathematics is normally done at the level of “specific mathematical concepts” (like, say, algebraic equations or hyperbolic geometry)—that are effectively the “populated places” (or “populated reference frames”) of metamathematical space. Imagine for example that one has a neural net with a certain architecture.

Science 65

Science Sciences Physics Mathematics 65

Stephen Wolfram

SEPTEMBER 9, 2021

Mathematics is normally done at the level of “specific mathematical concepts” (like, say, algebraic equations or hyperbolic geometry)—that are effectively the “populated places” (or “populated reference frames”) of metamathematical space. Imagine for example that one has a neural net with a certain architecture.

Physics 65

Physics Science Sciences Mathematics 65