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. Then (by the assumed properties of equality) it follows that. But what about other models of computation—like cellular automata or register machines or lambda calculus? And this is where our pieces of “falsifiable natural science” come in.

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 121

Mathematics Physics Computer Algebra 121