Remove Argumentation Remove Calculus Remove Elementary Remove Equality
article thumbnail

LLM Tech and a Lot More: Version 13.3 of Wolfram Language and Mathematica

Stephen Wolfram

Line, Surface and Contour Integration “Find the integral of the function ” is a typical core thing one wants to do in calculus. But particularly in applications of calculus, it’s common to want to ask slightly more elaborate questions, like “What’s the integral of over the region ?”, or “What’s the integral of along the line ?”

Computer 118
article thumbnail

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

Stephen Wolfram

One can view a symbolic expression such as f[g[x][y, h[z]], w] as a hierarchical or tree structure , in which at every level some particular “head” (like f ) is “applied to” one or more arguments. and at t steps gives a total number of rules equal to: &#10005. which we can read as “there exists something a for which equals a ”.

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

For integers, the obvious notion of equivalence is numerical equality. The most elementary example of something like this is the statement ( already present in Euclid ) that if and , then. Then (by the assumed properties of equality) it follows that. elementary updating events) in physical space.

Physics 122
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”. But one never quite gets there ; it always seems to need something extra. But the mystery of the Second Law has never gone away. Why does the Second Law work? What does it really depend on?