Remove Algebra Remove Calculus Remove Equality Remove Physics
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. 23 The Physicalized Laws of Mathematics. 29 Counting the Emes of Mathematics and Physics. 1 | Mathematics and Physics Have the Same Foundations. 3 The Metamodeling of Axiomatic Mathematics. Graphical Key.

article thumbnail

Wolfram|Alpha as the Way to Bring Computational Knowledge Superpowers to ChatGPT

Stephen Wolfram

It happened with our Physics Project in 2020. It’s equally, if not more, important for human-like AIs as well—immediately giving them what we can think of as computational knowledge superpowers, that leverage the non-human-like power of structured computation and structured knowledge. ChatGPT and Wolfram|Alpha.

Computer 145
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.0 of Wolfram Language + Mathematica

Stephen Wolfram

Any integral of an algebraic function can in principle be done in terms of our general DifferentialRoot objects. When you do operations on Around numbers the “errors” are combined using a certain calculus of errors that’s effectively based on Gaussian distributions—and the results you get are always in some sense statistical.

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 Concept of the Ruliad

Stephen Wolfram

It’s yet another surprising construct that’s arisen from our Physics Project. In the language of our Physics Project, it’s the ultimate limit of all rulial multiway systems. And here is a rulial multiway system made from hypergraph rewriting of the kind used in our Physics Project , using all rules with signature : &#10005.

Physics 122