Remove Algebra Remove Argumentation Remove Computer Science Remove Construction
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.

article thumbnail

Can AI Solve Science?

Stephen Wolfram

What if all we ever want to know about are things that align with computational reducibility? A lot of science—and technology—has been constructed specifically around computationally reducible phenomena. And that’s for example why things like mathematical formulas have been able to be as successful in science as they have.

Science 122
educators

Sign Up for our Newsletter

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

article thumbnail

Expression Evaluation and Fundamental Physics

Stephen Wolfram

And if we treat these as equivalent and merge them we now get: (The question of “state equivalence” is a subtle one, that ultimately depends on the operation of the observer, and how the observer constructs their perception of what’s going on. It’s a new kind of fundamentally multiway construct.

Physics 108
article thumbnail

The Concept of the Ruliad

Stephen Wolfram

Think of it as the entangled limit of everything that is computationally possible: the result of following all possible computational rules in all possible ways. It’s yet another surprising construct that’s arisen from our Physics Project. And it’s one that I think has extremely deep implications—both in science and beyond.

Physics 122
article thumbnail

Remembering the Improbable Life of Ed Fredkin (1934–2023) and His World of Ideas and Stories

Stephen Wolfram

He was going for what he saw as the big prize: using them to “construct the universe”. “Lick” Licklider —who persuaded Ed to join BBN to “teach them about computers”. He thought of it as a new way of storing textual information in a computer, and he called it “TRIE memory” (after “reTRIEval”). It was all algebra.

article thumbnail

Even beyond Physics: Introducing Multicomputation as a Fourth General Paradigm for Theoretical Science

Stephen Wolfram

If one looks at the history of theoretical science, I think one can identify just three major modeling paradigms that have been developed over the course of scientific history—each of them leading to dramatic progress. Part of what this achieves is to generalize beyond traditional mathematics the kind of constructs that can appear in models.

Physics 65
article thumbnail

Multicomputation: A Fourth Paradigm for Theoretical Science

Stephen Wolfram

If one looks at the history of theoretical science, I think one can identify just three major modeling paradigms that have been developed over the course of scientific history—each of them leading to dramatic progress. Part of what this achieves is to generalize beyond traditional mathematics the kind of constructs that can appear in models.

Science 64