article thumbnail

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

Stephen Wolfram

1 Mathematics and Physics Have the Same Foundations. 2 The Underlying Structure of Mathematics and Physics. 3 The Metamodeling of Axiomatic Mathematics. 4 Simple Examples with Mathematical Interpretations. 15 Axiom Systems of Present-Day Mathematics. 21 What Can Human Mathematics Be Like? Graphical Key.

article thumbnail

How Did We Get Here? The Tangled History of the Second Law of Thermodynamics

Stephen Wolfram

But by the end of the 1800s, with the existence of molecules increasingly firmly established, the Second Law began to often be treated as an almost-mathematically-proven necessary law of physics. There were still mathematical loose ends, as well as issues such as its application to living systems and to systems involving gravity.

Energy 88
educators

Sign Up for our Newsletter

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

article thumbnail

The Concept of the Ruliad

Stephen Wolfram

And—it should be said at the outset—we’re still only at the very beginning of nailing down those technical details and setting up the difficult mathematics and formalism they involve.) Mathematically this can be thought of as being like decomposing the ruliad structure in terms of fibrations and foliations.). The View from Mathematics.

Physics 122
article thumbnail

A 50-Year Quest: My Personal Journey with the Second Law of Thermodynamics

Stephen Wolfram

It’s a story I’ve told elsewhere , but one of the important elements for our purposes here is that in designing the system I called SMP (for “Symbolic Manipulation Program”) I ended up digging deeply into the foundations of computation, and its connections to areas like mathematical logic.

Physics 95