Stephen Wolfram

JANUARY 31, 2023

He’s writing a paper, he says, basically to clarify the Second Law, (or, as he calls it, “the second fundamental theorem”—rather confidently asserting that he will “prove this theorem”): Part of the issue he’s trying to address is how the calculus is done: The partial derivative symbol ∂ had been introduced in the late 1700s.

Energy 88

Energy Physics Argumentation Mathematics 88

Stephen Wolfram

NOVEMBER 10, 2021

For integers, the obvious notion of equivalence is numerical equality. 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. For hypergraphs, it’s isomorphism.

Physics 122

Physics Mathematics Computer Construction 122

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 at t steps gives a total number of rules equal to: &#10005. &#10005.

Mathematics 120

Mathematics Physics Computer Algebra 120