Remove Argumentation Remove Computer Remove Computer Science Remove Geography
article thumbnail

Expression Evaluation and Fundamental Physics

Stephen Wolfram

But some of it has immediate practical implications, notably for parallel, distributed, nondeterministic and quantum-style computing. The key point is that a given event cannot happen unless all the inputs to it are available, i.e. have already been computed. Some of what this will lead us to is deeply abstract.

Physics 110
article thumbnail

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

Stephen Wolfram

We can think of the ruliad as the entangled limit of all possible computations—or in effect a representation of all possible formal processes. Many of these consequences are incredibly complicated, and full of computational irreducibility. But now we can make a bridge to mathematics. So is something similar happening with mathematics?