A The Wolfram Model & Wolfram Physics Project

[Auto-Didact]

TL;DR

https://www.wolframphysics.org/

As seen in the video above, ten years ago Stephen Wolfram teased a computational physics program which he simply called 'Physics'; some of this work was outlined in his magnum opus "A New Kind of Science". A few days ago he has finally given a huge update of this in his blog: https://writings.stephenwolfram.com...damental-theory-of-physics-and-its-beautiful/

This is a project of at least 50 years in the making, starting from about the time that Wolfram left theoretical physics to work on what would become Mathematica and his other well-known products. The Wolfram Physics Project is essentially the result of a brute force search for a mathematical framework underlying physical theory; it is characterized by Feynman's guiding principle for theory construction, namely to recognize when 'more seems to come out than was put in'.

A brief summary of the methodology seems to be that he is modelling discrete mathematical structures - namely directed hypergraphs - and then evolving these structures using simple evolution rules; all of this is done purely computationally. In this evolutionary process, higher dimensional network or simplicial complex-like structures arise automatically; he then compares these arisen graph theoretic structures with the graph theoretic structure underlying known physical theory in order to 'find our own world'.

Wolfram has 3 technical papers with two physics students:

A Class of Models with the Potential to Represent Fundamental Physics

Some Relativistic and Gravitational Properties of the Wolfram Model

Some Quantum Mechanical Properties of the Wolfram Model

Moreover, Wolfram has also opened the Wolfram Physics Project up as a community based project (with universities being able to opt in) for the entire world to join him in trying to find the correct model that describes our world: https://www.wolframphysics.org/

 

[Auto-Didact]

 

[martinbn]

What problems can one solve with this approach?

 

[Auto-Didact]

Automated unification of the mathematical frameworks underlying two (or more) separate established/mature physical theories.

Right now, carrying out this process usually requires a lot of training as well as sufficient experience for the researcher in question; obviously, all of this is done by hand today.

In other words, if it turns out that Wolfram's project works generically, then a huge part of the job of mathematical physicists and applied mathematicians will be lost to automation.

 

[Devils]

His book seemed to go nowhere. I remember reading that great minds often come up with grandiose improbable ideas in their old age. Let's see how this goes.

(The only work of Wolfram I have read was when he was at school & he definitely is a prodigy).

 

[MathematicalPhysicist]

Automated unification of the mathematical frameworks underlying two (or more) separate established/mature physical theories.

Right now, carrying out this process usually requires a lot of training as well as sufficient experience for the researcher in question; obviously, all of this is done by hand today.

In other words, if it turns out that Wolfram's project works generically, then a huge part of the job of mathematical physicists and applied mathematicians will be lost to automation.

Yes, just like computer programmers will lose their jobs long before he accomplishes his goals.
For jobs lost, jobs will be gained... as I wrote before only pushing one button twice a day... on/off.

 

[martinbn]

Automated unification of the mathematical frameworks underlying two (or more) separate established/mature physical theories.

Right now, carrying out this process usually requires a lot of training as well as sufficient experience for the researcher in question; obviously, all of this is done by hand today.

In other words, if it turns out that Wolfram's project works generically, then a huge part of the job of mathematical physicists and applied mathematicians will be lost to automation.

Anything specific?

 

[Auto-Didact]

Anything specific?

Pick any completed unification of theory from the history of physics. Maxwellian Electrodynamics, Special Relativity, General Relativity, Analytical Mechanics, etc.

More specifically, e.g. put in the theory of Magnetism and the theory of Electrity into Wolfram's black box and out rolls, not merely Electrodynamics, but also Special Relativity in the vector calculus formalism, the tensor calculus formalism, the covariant formalism, the differential geometry formalism, the Clifford algebra formalism and so on.

You can basically use his program to unify the conceptual frameworks - i.e. the mathematical frameworks - underlying any physical theory whatsoever - or any sufficiently mathematicized economic, or biological, or sociological, or generally scientific theory whatsoever.

Even stronger, you can even use it to automatically find mathematical frameworks which naturally unify (parts of) different research programs, such as all possible unified mathematical frameworks that underly both string theory and loop quantum gravity; the possibilities seem to be practically endless.

 

[Auto-Didact]

Yes, just like computer programmers will lose their jobs long before he accomplishes his goals.
For jobs lost, jobs will be gained... as I wrote before only pushing one button twice a day... on/off.

Indeed, there are multiple possibilities: either automation or augmentation.
Just like in radiology and dermatology, it is possible this form of AI will merely be a form of augmentation instead of automation for the mathematical physicist. This will almost definitely be the case, certainly in the initial phase; judging across a few decades from now however is a whole other story.

 

[MathematicalPhysicist]

Indeed, there are multiple possibilities: either automation or augmentation.
Just like in radiology and dermatology, it is possible this form of AI will merely be a form of augmentation instead of automation for the mathematical physicist. This will almost definitely be the case, certainly in the initial phase; judging across a few decades from now however is a whole other story.

Well, everyone is using some sort of software for their calculations (also pure mathematicians, they have sage and other computer programmes).

BTW, there's a book that I planned eventually to purchase on Clifford analysis which has an old software for the lengthy calculations called REDUCE if you know this software. (quite old).
But now with the Covid-19 I hesitate to purchase it since who knows if I will even get my purchase.
Who knows if we will ever get to live until computer programmers will lost their jobs for automation...

 

[MathematicalPhysicist]

Pick any completed unification of theory from the history of physics. Maxwellian Electrodynamics, Special Relativity, General Relativity, Analytical Mechanics, etc.

More specifically, e.g. put in the theory of Magnetism and the theory of Electrity into Wolfram's black box and out rolls, not merely Electrodynamics, but also Special Relativity in the vector calculus formalism, the tensor calculus formalism, the covariant formalism, the differential geometry formalism, the Clifford algebra formalism and so on.

You can basically use his program to unify the conceptual frameworks - i.e. the mathematical frameworks - underlying any physical theory whatsoever - or any sufficiently mathematicized economic, or biological, or sociological, or generally scientific theory whatsoever.

Even stronger, you can even use it to automatically find mathematical frameworks which naturally unify (parts of) different research programs, such as all possible unified mathematical frameworks that underly both string theory and loop quantum gravity; the possibilities seem to be practically endless.

Seems too good to be true.

 

[mitchell porter]

automation ... this form of AI

I thought Wolfram was just proposing to base physics on a kind of cellular automaton. Is he using AI to search the possible rules? Where does he talk about this?

 

[HBrown]

I read through his initial post.
He's clearly excited about some ideas, but they are still vague, and to some extent he seems aware of this.
He seems to make the common mistake of being just vague enough about some important pieces that he can oscillate between different concepts as it suits his hand waving. For example how he wants to extract physical notions from an abstract graph, even simple things like distance change flavor in various hand wavy descriptions.

In the end, he has an idea that he enjoys, and he has resources to chase them.
It doesn't sound compelling to me, but arguing motivations and what sounds plausible is pointless, he's going to spend his time on it regardless. So I guess I wish him luck. Looks like a long shot.

 

[martinbn]

Pick any completed unification of theory from the history of physics. Maxwellian Electrodynamics, Special Relativity, General Relativity, Analytical Mechanics, etc.

More specifically, e.g. put in the theory of Magnetism and the theory of Electrity into Wolfram's black box and out rolls, not merely Electrodynamics, but also Special Relativity in the vector calculus formalism, the tensor calculus formalism, the covariant formalism, the differential geometry formalism, the Clifford algebra formalism and so on.

You can basically use his program to unify the conceptual frameworks - i.e. the mathematical frameworks - underlying any physical theory whatsoever - or any sufficiently mathematicized economic, or biological, or sociological, or generally scientific theory whatsoever.

Even stronger, you can even use it to automatically find mathematical frameworks which naturally unify (parts of) different research programs, such as all possible unified mathematical frameworks that underly both string theory and loop quantum gravity; the possibilities seem to be practically endless.

If this is an accurate description then it sounds like a meta-theory, not physics. Not so sure if this is useful. The input is theories that are well understood, the output is theories that are also well understood, but only if you can recognize them otherwise you get all kinds of possibilities without any hope of filtering a useful one.

May be I should have been more specific myself. By a problem I mean the type of problems physicists solve. Say heat conduction in a rod, a vibrating membrane, an orbiting planet, or anything like that. Any example at all. How does his black box deal with it?

 

[S.G. Janssens]

You can basically use his program to unify the conceptual frameworks - i.e. the mathematical frameworks - underlying any physical theory whatsoever - or any sufficiently mathematicized economic, or biological, or sociological, or generally scientific theory whatsoever.

If this is indeed what he believes his "program" is capable of, then it is not just comfortably vague, or "too good to be true" (post #11), but it is also blatantly arrogant. Based on his "New Kind of Science" I did not expect anything less.

 

[MathematicalPhysicist]

If this is indeed what he believes his "program" is capable of, then it is not just comfortably vague, or "too good to be true" (post #11), but it is also blatantly arrogant. Based on his "New Kind of Science" I did not expect anything less.

Sometimes it appears that history repeats itself...

 

[Auto-Didact]

I thought Wolfram was just proposing to base physics on a kind of cellular automaton. Is he using AI to search the possible rules? Where does he talk about this?

Read the three papers and his book. It also helps to take a moment of reflection and look at this, not from the perspective of a contemporarily practicing theoretical physicist, but instead from the perspective of a modern applied mathematician, computational scientist or data scientist that is knee-deep within the modern deep learning revolution (NB: I'm fairly ankle-deep in this as a consequence of supervising (under)graduate students doing such research).

I read through his initial post.
He's clearly excited about some ideas, but they are still vague, and to some extent he seems aware of this.
He seems to make the common mistake of being just vague enough about some important pieces that he can oscillate between different concepts as it suits his hand waving. For example how he wants to extract physical notions from an abstract graph, even simple things like distance change flavor in various hand wavy descriptions.

In the end, he has an idea that he enjoys, and he has resources to chase them.
It doesn't sound compelling to me, but arguing motivations and what sounds plausible is pointless, he's going to spend his time on it regardless. So I guess I wish him luck. Looks like a long shot.

If this is indeed what he believes his "program" is capable of, then it is not just comfortably vague, or "too good to be true" (post #11), but it is also blatantly arrogant. Based on his "New Kind of Science" I did not expect anything less.

I understand your skepticism and actually appreciate it in order to paint a contrast. What Wolfram in his enthusiasm doesn't emphasize enough is that his method doesn't only produce a "unique correct answer", but instead also a veritable multitude of answers; a selection procedure (from mathematical physics/condensed matter theory flavored statistical physics) is then used to trim this forest down to find the "fittest" answers (NB: as in survival of the fittest). Subsequently these fittest answers are then used axiomatically to rederive known physical theories, as a kind of second order selection method. All of this is quite typical hybrid methodology in modern machine learning.

The above hybrid methodology is a highly creative but very specific application of evolutionary algorithms applied to axiomatization applied to derivation from first principles applied to theory construction, which each are of course each tried and true methods. What isn't conventional knowledge to physicists is that this hybrid method isn't actually new; it is known as "experimental mathematics" and has actually been quite conventional since the 80s within applied mathematics and engineering under another moniker namely, "dynamical systems theory".

A presentation or communication problem which often arises is that most physicists (and many mathematicians and computer scientists as well) simply aren't accustomed to or familiar with this type of research and therefore are unable to recognize it when they come across it and so end up reliably misjudging its scientific value. What is truly novel is that Wolfram seems to have automated a large part of the experimental mathematics methodology, and so actually given it a rigorous grounding, when before it was seen as more of an art form, i.e. like skillful experimentation often is seen.

In any case, the importance of this discovery cannot be stressed enough: what Wolfram has discovered is a revolution not just for theoretical physics, but actually for pure mathematics as well; namely Wolfram has laid bare, in a purely axiomatic format, that there are as of yet unidentified existing links between the theory of analysis, computational complexity theory and algebraic geometry which is not generally recognized by either the physics literature or the physics community, apart from a handful of subfields within mathematical physics.

In fact, the last time that I can recall off the top of my head that such a huge mathematical discovery was actually done in mathematical physics proper on the basis of deepening the understanding of older theories was when Euler, Lagrange and Hamilton reviewed Newtonian Mechanics using extremely sophisticated mathematics for their time and ended up inventing Analytical Mechanics as well as emphasizing and/or literally inventing the associated mathematical disciplines.

If this is an accurate description then it sounds like a meta-theory, not physics. Not so sure if this is useful. The input is theories that are well understood, the output is theories that are also well understood, but only if you can recognize them otherwise you get all kinds of possibilities without any hope of filtering a useful one.

May be I should have been more specific myself. By a problem I mean the type of problems physicists solve. Say heat conduction in a rod, a vibrating membrane, an orbiting planet, or anything like that. Any example at all. How does his black box deal with it?

Those actually aren't "physics problems", but instead applied physics problems i.e. actually engineering problems and therefore, generally speaking, completely uninteresting to the discipline of theoretical physics directly; of course, this doesn't mean they are uninteresting to experimental physics, since such problems obviously can lead to better experiments. However that is clearly a matter of secondary concern for the enterprise of theoretical physics - especially when experimental physics has already reached the degree of sophistication as today - and it is even of tertiary concern for mathematical physics.

More directly, Wolfram's black box is a complete overkill for such applied physics problems since such problems - by their very hands-on nature - literally require to be defined within an already given mathematical framework; Wolfram's blackbox is instead for addressing problems with entire frameworks themselves, i.e. by actually removing what is given. Actually doing such a thing successfully literally requires a seasoned expert in theoretical physics and/or mathematical physics, e.g. a practicing physicist at the level of John Baez and often in that age category as well.

Suffice to say, Wolfram's earlier invented, pedestrian tools - i.e. Mathematica and WolframAlpha - tend in almost all cases to be sufficient for tackling most applied physics problems with a fair amount of effectiveness such that even most undergraduates are typically capable of quickly making some headway towards finding solutions to such applied physics problems; difficult outstanding applied problems from this perspective are merely remaining 'low hanging fruit' which require at most a few grad students and perhaps a good doctoral advisor.

 

[mitchell porter]

What Wolfram in his enthusiasm doesn't emphasize enough is that his method doesn't only produce a "unique correct answer", but instead also a veritable multitude of answers; a selection procedure (from mathematical physics/condensed matter theory flavored statistical physics) is then used to trim this forest down to find the "fittest" answers (NB: as in survival of the fittest). Subsequently these fittest answers are then used axiomatically to rederive known physical theories, as a kind of second order selection method. All of this is quite typical hybrid methodology in modern machine learning.

So far I have not found any statement anywhere from him, which talks about using machine learning, evolutionary algorithms, etc, in order to choose among models.

what Wolfram has discovered is a revolution not just for theoretical physics, but actually for pure mathematics as well; namely Wolfram has laid bare, in a purely axiomatic format, that there are as of yet unidentified existing links between the theory of analysis, computational complexity theory and algebraic geometry which is not generally recognized by either the physics literature or the physics community, apart from a handful of subfields within mathematical physics.

The only thing I have seen about computational complexity theory is a passing claim in the paper on "Some quantum mechanical properties...", that they can show P=BQP (P being polynomial-time algorithms, BQP being its quantum counterpart), a claim which, on account of its made-in-passing character, looks certain to be not only wrong, but dreadfully naive, by the standards of actual computational complexity theory. The computer scientists who study complexity of quantum algorithms have a professional interest in classical algorithms that can approximate quantum ones. The claim by Jonathan Gorard of Wolfram Inc seems to be made on the basis of a very simple way of imitating or approximating quantum mechanics.

As for "algebraic geometry"... It has occurred to me that one could try to imitate a field theory with tensor-valued fields, using cellular automata, by having a CA system where the grid discretely approximates space-time, and where the CA cell types discretely approximate the possible values of the vector/matrix/tensor-valued field. Is this anything like what they do?

 

[arivero]

I read Wolfram's PhysRev papers in my second year of undergraduate. At that time the Wilson-Kogut renormalisation and Kadanoff's block-spin were still hot topics, so the natural question I remember to discuss with some friends was "how do you renormalise a celular automata".

 

[Demystifier]

If this is an accurate description then it sounds like a meta-theory, not physics.

That's correct, but it doesn't mean that it doesn't have a value. I would compare it with logic and set theory, which are often viewed as meta-mathematics rather than mathematics. But it doesn't mean that logic and set theory are not important for mathematics.

Or more generally, almost any branch of science has its meta-science. For instance, chemistry is a meta-science for biology. It doesn't mean that chemistry is not needed in biology.

 

[martinbn]

That's correct, but it doesn't mean that it doesn't have a value. I would compare it with logic and set theory, which are often viewed as meta-mathematics rather than mathematics. But it doesn't mean that logic and set theory are not important for mathematics.

Or more generally, almost any branch of science has its meta-science. For instance, chemistry is a meta-science for biology. It doesn't mean that chemistry is not needed in biology.

That of course is true. They do have value. But no one would say that they had a break through in say elliptic differential equations if they couldn't prove a single statement about these equations. But it seems like that in the case of Wolfram.

 

[martinbn]

Those actually aren't "physics problems", but instead applied physics problems i.e. actually engineering problems and therefore, generally speaking, completely uninteresting to the discipline of theoretical physics directly; of course, this doesn't mean they are uninteresting to experimental physics, since such problems obviously can lead to better experiments. However that is clearly a matter of secondary concern for the enterprise of theoretical physics - especially when experimental physics has already reached the degree of sophistication as today - and it is even of tertiary concern for mathematical physics.

Well, I completely disagree with this. These are theoretical physics problems. In fact I would say that this is exactly what physics is about.

More directly, Wolfram's black box is a complete overkill for such applied physics problems since such problems - by their very hands-on nature - literally require to be defined within an already given mathematical framework; Wolfram's blackbox is instead for addressing problems with entire frameworks themselves, i.e. by actually removing what is given. Actually doing such a thing successfully literally requires a seasoned expert in theoretical physics and/or mathematical physics, e.g. a practicing physicist at the level of John Baez and often in that age category as well.

So this black box would not be able to solve any of these problems, not even those that are well understood and can be solved by physics students.

Suffice to say, Wolfram's earlier invented, pedestrian tools - i.e. Mathematica and WolframAlpha - tend in almost all cases to be sufficient for tackling most applied physics problems with a fair amount of effectiveness such that even most undergraduates are typically capable of quickly making some headway towards finding solutions to such applied physics problems; difficult outstanding applied problems from this perspective are merely remaining 'low hanging fruit' which require at most a few grad students and perhaps a good doctoral advisor.

Not sure if this is relevant.

 

[S.G. Janssens]

What isn't conventional knowledge to physicists is that this hybrid method isn't actually new; it is known as "experimental mathematics" and has actually been quite conventional since the 80s within applied mathematics and engineering under another moniker namely, "dynamical systems theory".

Sorry, but this is not correct. I am a mathematician working in dynamical systems theory, classified here (2010) and here (2020) by the AMS. Suggesting that "experimental mathematics" and "dynamical systems" are synonyms is wrong.

"Experimental mathematics" can suggest directions of research in dynamical systems theory (and so can many other fields in mathematics and the sciences), and dynamical systems theory can suggest new mathematical experiments (analogous remarks apply), but you cannot equate them.

 

[Auto-Didact]

So far I have not found any statement anywhere from him, which talks about using machine learning, evolutionary algorithms, etc, in order to choose among models.

This is precisely Wolfram's biggest problem: he doesn't say that he is using evolutionary algorithms and/or machine learning, while he is. It is likely that he just disregards the terminology of machine learning, because he is by training a theoretical physicist and - like most physicists, including myself - therefore just blatantly disregards the conventional terminology of machine learning, computer science and applied mathematics, quite simply because he can't be bothered to go through the trouble of translating mathematical terminology between different mathematical disciplines; he isn't interested in communication to other kinds of mathematical scientists but only in doing mathematical science himself (NB: and as everyone knows, the physics terminology is superior).

The only thing I have seen about computational complexity theory is a passing claim in the paper on "Some quantum mechanical properties...", that they can show P=BQP (P being polynomial-time algorithms, BQP being its quantum counterpart), a claim which, on account of its made-in-passing character, looks certain to be not only wrong, but dreadfully naive, by the standards of actual computational complexity theory. The computer scientists who study complexity of quantum algorithms have a professional interest in classical algorithms that can approximate quantum ones. The claim by Jonathan Gorard of Wolfram Inc seems to be made on the basis of a very simple way of imitating or approximating quantum mechanics.

Wolfram's latest work is directly related to a novel subdiscipline in computational complexity theory, namely (algebro-)geometric complexity theory, see the Wikipedia page and arxiv references. Wolfram's approach in this field seems to be completely novel; moreover, geometric complexity theory is related to the still semi-nascent interdisciplinary field called information geometry (i.e. algebro-geometric information theory), which is of course related to thermodynamics and so theoretical physics; there are even more specific problems that can be experimentally approached, e.g. in theoretical biophysics.

As for "algebraic geometry"... It has occurred to me that one could try to imitate a field theory with tensor-valued fields, using cellular automata, by having a CA system where the grid discretely approximates space-time, and where the CA cell types discretely approximate the possible values of the vector/matrix/tensor-valued field. Is this anything like what they do?

Not exactly. His latest work isn't really about CA, but instead about directed hypergraphs, in which these (hyper)graphs themselves are then evolved via an evolution rule a la CA. Alternatively, conventional graph theory methods, via topological considerations, allows a direct transformation of the entire framework into a purely algebro-geometric construction.

Well, I completely disagree with this. These are theoretical physics problems. In fact I would say that this is exactly what physics is about.

This is quite frankly a misunderstanding of what theoretical physics entails as a discipline. Theoretical physics is, as the name suggests, primarily concerned with the theoretical side of the science physics, i.e. with the invention of new physical theories and working out of mature physical theories. Solving applied physics problems is literally of secondary concern for the endeavor of theoretical physics; if solving such applied problems seems to be characteristic of theoretical physics today then that is an accident of history, and even worse a symptom of the crisis that theoretical physics is currently in.

More descriptively, theoretical physics as a scientific endeavor is primarily concerned with finding mathematical models of physical phenomenon, i.e. with finding what are called physical theories. A physical theory is generally speaking essentially a mathematical function with an input and output structure which directly serves as a mathematical model of the behavior of some specific physical phenomenon; this mathematical function, as well as its input and output space and all other mathematical properties (continuity, analyticity, boundary conditions, embedding space, etc), naturally tends to belong to a class of mathematical frameworks from pure and/or applied mathematics (NB: for simplicity, I am also referring to anything which is a direct generalization of a function - such as a functional - as a function).

Examples of physical theories are obvious: a mathematical model of gravity, of electromagnetism, of light, of atoms, of heat, of particles, etc. The finding and creation of such mathematical models of physical phenomena i.e. making such physical theories is the job of theoretical physics; the testing of such theories is one of the main jobs of experimental physics, and finally the application of the theories that have survived experimental testing is the job of applied physics; solving problems such as the ones you pose squarely falls in this final category.

So this black box would not be able to solve any of these problems, not even those that are well understood and can be solved by physics students.

They actually can be solved by his black box, because this black box is directly integrated with both WolframAlpha and Mathematica, i.e. WolframAlpha translates and integrates input/output from the black box into Mathematica code. Even better, the black box is written and used in the same Wolfram Language, i.e. will even automatically be integrated into the next version of Mathematica, exactly as what happened with WolframAlpha and Wolfram's own neural network programming suite.

But I want to make clear why wanting to use this particular black box for applied physics problems is almost a ridiculous request through the following analogies: it is like trying to let the paper boy do his newspaper delivery round by using a rocket ship to visit the houses in his neighborhood instead of just using a bicycle, or like consulting a surgeon for a small cut which doesn't even require a bandage, or like utilizing a nuclear weapon in order to take care of a rat infestation within an old building.

 

[HBrown]

I'm sorry, but Auto-Didact you are putting a lot of words in Wolfram's mouth. I feel what you are saying is unrecognizable to the actual content of what he wrote.

It would be easier to discuss these things if you clearly separated ideas this inspires for you (where you think this will grow as a field, what it may accomplish, and other speculations) from what Wolfram is actually saying. It is already hard enough to discuss because Wolfram is still fleshing out his ideas. Please do not mix in another layer of speculation on top of this.

 

[Auto-Didact]

Sorry, but this is not correct. I am a mathematician working in dynamical systems theory, classified here (2010) and here (2020) by the AMS. Suggesting that "experimental mathematics" and "dynamical systems" are synonyms is wrong.

"Experimental mathematics" can suggest directions of research in dynamical systems theory (and so can many other fields in mathematics and the sciences), and dynamical systems theory can suggest new mathematical experiments (analogous remarks apply), but you cannot equate them.

Pardon me, they aren't synonymous and I am not equating them, but instead relating them in exactly the way that you say: huge swats of experimental mathematics are literally completely part of the basic conventional methodology within dynamical systems theory (analogous to calculus being completely part of the basic conventional methodology in physics). In fact, much of experimental mathematics methodology used in dynamical systems theory tends to be seen as so pedestrian to dynamical systems researchers that they themselves don't even bother to give these methods a name, much less refer to them as 'experimental mathematics'.

It would of course be more correct to regard experimental mathematics as a subfield within mathematics itself, but that completely misses the main point I am trying to make, namely that large parts of experimental mathematics (e.g. doing computational experiments, applied bifurcation theory, stability analysis etc) are in fact conventional methodologies within dynamical systems research in actual practice, whether or not dynamical systems researchers use or recognize the terminology 'experimental mathematics'.

In other words, if a physicist wants to know how to use experimental mathematics in his own research it is productive (or at least, it was in my case) to talk to a dynamical systems theorist or to peruse the dynamical systems theory literature, instead of talking to a (pure) mathematician or perusing the mathematics literature which in my experience is quite counterproductive because many mathematicians don't even seem to recognize dynamical systems theory as proper mathematics.

 

[Auto-Didact]

I'm sorry, but Auto-Didact you are putting a lot of words in Wolfram's mouth. I feel what you are saying is unrecognizable to the actual content of what he wrote.

It would be easier to discuss these things if you clearly separated ideas this inspires for you (where you think this will grow as a field, what it may accomplish, and other speculations) from what Wolfram is actually saying. It is already hard enough to discuss because Wolfram is still fleshing out his ideas. Please do not mix in another layer of speculation on top of this.

I can give specific references if you want, where is the exact confusion?

 

[HBrown]

Mitchel Porter already brought up an explicit example.

Furthermore, you are expanding the hype beyond what even Wolfram is claiming, with your added layer of abstraction to a black box that can automatically unify any mathematical research we shove in the box

Even stronger, you can even use it to automatically find mathematical frameworks which naturally unify (parts of) different research programs, such as all possible unified mathematical frameworks that underly both string theory and loop quantum gravity; the possibilities seem to be practically endless.

First, it is incredibly difficult to figure out how to extract physical meaning from the hypergraphs. This is not something that just falls out of a black box, or occurs by iterating some machine learning program trying to maximize some fitness function. Extracting meaning from the hypergraphs is something that comes from interpretation, figured out by hard work of a human, and placed on there by a human.

Second, if anything, the "input" is an initial condition and a graph evolution rule. He then is looking at what happens and trying to extract meaning. With luck he can extract QM or something. This is the opposite of how you are trying to present it.

Third, let me remind you that Wolfram is claiming his series of ideas for how to interpret the graph evolution make SR and even GR come out inevitably. This means you cannot have Newtonian gravity with its perfect Kepler orbits (no GR corrections), or Newtonian mechanics with Galilean symmetry (because his ideas _require_ a finite information speed limit), or many other mathematically consistent possibilities. What you are hyping doesn't seem to line up with what he is suggesting at all.

Anyway, my point was to be careful to separate your speculations from Wolfram's.

 

[Auto-Didact]

Mitchel Porter already brought up an explicit example.

More specific, do you mean the connection with algebraic geometry or computational complexity theory (or something else)?

Furthermore, you are expanding the hype beyond what even Wolfram is claiming, with your added layer of abstraction to a black box that can automatically unify any mathematical research we shove in the box

That isn't exactly my intention; my intention is to make Wolfram's claims as bluntly as possible, instead of dancing around the claims as he does by cryptically hiding the main points in hundreds of pages, walls of blogtexts and hours of video (just look at his blogs, youtube posts, books and so on).

First, it is incredibly difficult to figure out how to extract physical meaning from the hypergraphs. This is not something that just falls out of a black box, or occurs by iterating some machine learning program trying to maximize some fitness function. Extracting meaning from the hypergraphs is something that comes from interpretation, figured out by hard work of a human, and placed on there by a human.

Agreed, doing this requires serious experience and familiarity with applied discrete mathematics as well as knowledge how it relates to fields such as dynamical systems theory and algebraic geometry; it just so happens that this issue was exactly one of the core issues of the main research topic of a research group that I am leading. If I am speaking in a too as-a-matter-of-fact sort of way that is a consequence of my intimate familiarity with the material in question.

Second, if anything, the "input" is an initial condition and a graph evolution rule. He then is looking at what happens and trying to extract meaning. With luck he can extract QM or something. This is the opposite of how you are trying to present it.

His input isn't merely an initial condition of some system like in calculus/physics, it is something of a completely different nature; this is de facto the key point that he is dancing around by shrouding it in unnecessary mystery.

Third, let me remind you that Wolfram is claiming his series of ideas for how to interpret the graph evolution make SR and even GR come out inevitably. This means you cannot have Newtonian gravity with its perfect Kepler orbits (no GR corrections), or Newtonian mechanics with Galilean symmetry (because his ideas _require_ a finite information limit), or many other mathematically consistent possibilities. What you are hyping doesn't seem to line up with what he is suggesting at all.

He is being severely careful in his wording, which leads to the length of the manuscript of 400pp what can be easily stated in about 20pp. The point is though that many different limiting models of deeper theories can be identified by a combination of statistical analysis over the limits by varying the input models and then identifying the unique correct derivation through the method of experimental mathematics e.g. using Mathematica; this strategy itself is a completely conventional method in machine learning.

Anyway, my point was to be careful to separate your speculations from Wolfram's.

Fair point.

 

[Demystifier]

That of course is true. They do have value. But no one would say that they had a break through in say elliptic differential equations if they couldn't prove a single statement about these equations. But it seems like that in the case of Wolfram.

Did Wolfram said that his approach solves a specific problem in physics? Maybe I missed something, but it seems to me that he only claims to have a general framework for a "theory of everything".