Stephen Wolfram

JANUARY 31, 2023

But in 1798 Benjamin Thompson (Count Rumford) (1753–1814) measured the heat produced by the mechanical process of boring a cannon, and began to make the argument that, in contradiction to the caloric theory, there was actually some kind of correspondence between mechanical energy and amount of heat.

Energy 88

Energy Physics Argumentation Mathematics 88

Stephen Wolfram

FEBRUARY 2, 2023

In early 1984 I visited MIT to use the machine to try to do what amounted to natural science, systematically studying 2D cellular automata. I think Yves Pomeau already had a theoretical argument for this, but as far as I was concerned, it was (at least at first) just a “next thing to try”.

Physics 95

Physics Computer Mathematics Science 95

Stephen Wolfram

MARCH 7, 2022

And if we’re going to make a “general theory of mathematics” a first step is to do something like we’d typically do in natural science, and try to “drill down” to find a uniform underlying model—or at least representation—for all of them. and zero arguments: α[ ]. &#10005. &#10005. &#10005. or: &#10005.

Mathematics 120

Mathematics Physics Computer Algebra 120

Stephen Wolfram

NOVEMBER 10, 2021

The global structures of metamathematics , economics , linguistics and evolutionary biology seem likely to provide examples—and in each case we can expect that at the core is the ruliad, with its unique structure. And we can trace the argument for this to the Principle of Computational Equivalence. But that’s not all there is to it.

Physics 122

Physics Mathematics Computer Construction 122