Remove Argumentation Remove Biology Remove Calculus Remove Construction
article thumbnail

Five Most Productive Years: What Happened and What’s Next

Stephen Wolfram

The fall of 2021 involved really leaning into the new multicomputational paradigm , among other things giving a long list of where it might apply : metamathematics, chemistry, molecular biology, evolutionary biology, neuroscience, immunology, linguistics, economics, machine learning, distributed computing.

Physics 114
article thumbnail

The Story Continues: Announcing Version 14 of Wolfram Language and Mathematica

Stephen Wolfram

Then for each function (or other construct in the language) there are pages that explain the function, with extensive examples. So did that mean we were “finished” with calculus? Somewhere along the way we built out discrete calculus , asymptotic expansions and integral transforms. But even now there are still frontiers.

Computer 105
educators

Sign Up for our Newsletter

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

article thumbnail

Launching Version 13.1 of Wolfram Language & Mathematica ??????

Stephen Wolfram

we have a new symbolic construct, Threaded , that effectively allows you to easily generalize listability. You can give Threaded as an argument to any listable function, not just Plus and Times : &#10005. we’re adding SymmetricDifference : find elements that (in the 2-argument case) are in one list or the other, but not both.

Calculus 116
article thumbnail

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

Stephen Wolfram

It began partly as an empirical law, and partly as something abstractly constructed on the basis of the idea of molecules, that nobody at the time knew for sure existed. But what’s important for our purposes here is that in the setup Carnot constructed he basically ended up introducing the Second Law.

Energy 90
article thumbnail

The Concept of the Ruliad

Stephen Wolfram

It’s yet another surprising construct that’s arisen from our Physics Project. In some ways it’s a bit like our efforts to construct the ruliad. In constructing it, one can imagine using Turing machines or hypergraph rewriting systems or indeed any other kind of computational system. As an analogy, consider the real numbers.

Physics 124
article thumbnail

Computational Foundations for the Second Law of Thermodynamics

Stephen Wolfram

Sometimes textbooks will gloss over everything; sometimes they’ll give some kind of “common-sense-but-outside-of-physics argument”. In some types of rules it’s basically always there , by construction. But one never quite gets there ; it always seems to need something extra. But the mystery of the Second Law has never gone away.

article thumbnail

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

Stephen Wolfram

When most working mathematicians do mathematics it seems to be typical for them to reason as if the constructs they’re dealing with (whether they be numbers or sets or whatever) are “real things”. And we can think of that ultimate machine code as operating on things that are in effect just abstract constructs—very much like in mathematics.