Is the Game of Life a metaphor for the search for a Theory of Everything?

  • Context: Graduate 
  • Thread starter Thread starter microsansfil
  • Start date Start date
  • Tags Tags
    Mathematical Universe
Click For Summary
SUMMARY

The forum discussion centers on the "Mathematical Universe Hypothesis" (MUH) proposed by Max Tegmark and its reception within the scientific community. Participants argue that asserting all mathematical structures are physical leads to contradictions with Gödel's Incompleteness Theorems, suggesting that physics may be inherently incomplete. The conversation highlights the complexities of defining completeness and consistency in mathematical theories, particularly in relation to physical reality and number theory. Ultimately, the consensus leans towards skepticism regarding the validity of MUH as a comprehensive explanation of the universe.

PREREQUISITES
  • Understanding of Gödel's Incompleteness Theorems
  • Familiarity with the Mathematical Universe Hypothesis (MUH)
  • Basic knowledge of quantum field theory (QFT)
  • Concepts of completeness and consistency in mathematical logic
NEXT STEPS
  • Research Gödel's Incompleteness Theorems in detail
  • Explore critiques of the Mathematical Universe Hypothesis
  • Study the implications of quantum field theory on physical theories
  • Investigate the relationship between mathematics and physical reality
USEFUL FOR

Philosophers of science, theoretical physicists, mathematicians, and anyone interested in the foundational questions of mathematics and its relation to physical reality.

  • #31
The theories are typically constraint to parameters that is measured in lab(like electron mass). The problem is how to formulate the theories to predict these parameters, complicated by high/low energy.
 
Physics news on Phys.org
  • #32
nikkkom said:
Every mathematician would agree that these solutions exist. So, these "universes" all "exist", in some sense of this word.
An other example : http://en.wikipedia.org/wiki/Gödel_metric

Patrick
 
  • #33
friend said:
If you assert that everything mathematical is physical, then you run up against Godel's Incompleteness theorem, and physics becomes incomplete or inconsistent. Instead I prefer to think that we are only imposing a subset of math on physical concepts to produce the laws of physics. This would be something like math imposed on Euclidean geometry which is complete and consistent.

Nothing is wrong with being incomplete.
For example, well known Conway's Game of Life is simple, deterministic, and yet incomplete because if fact you can build real = infinite Turing machine inside it.
 
  • Like
Likes   Reactions: nikkkom
  • #34
If physics is incomplete, then there must be somethings for which there is no explanation. I guess it's a matter of how ignorant you wish to be. But if the fate of the whole universe rests on understanding we cannot obtain, then we will never know what is to become of us.
 
  • #35
ftr said:
I don't understand what Godel or any mathematical philosophy has anything to do with MUH. We are doing physics just fine with mathematics. The only issue is to find a theory that naturally computes the experimental inputs. That would be sufficient to declare reality being only mathematics. The truth of mathematic and the truth of reality correspond, no other truth exist.

If no truth exists (other than mathematics and physical reality), then that would preclude the statement you just made from being true.

Also, how would you test whether the following statement is true?

"Godel and mathematical philosophy have nothing to do with MUH."
 
  • #36
friend said:
If you assert that everything mathematical is physical, then you run up against Godel's Incompleteness theorem, and physics becomes incomplete or inconsistent.

What does it even mean for *physics* to be "incomplete", and why it's bad?

As to *math*, Godel's Incompleteness theorem basically says that no (consistent) system of axioms can be non-extendable: for any system of axioms, there will be true, but unprovable statements. Take one of such statements, add it to your axioms, and you have an extended system of axioms. And still, there will be true, but unprovable statements for it too. Rinse, repeat.
Yes, this is a bit of unexpected / counter-intuitive fact (it's more comforting to think that "ultimate full set of axioms of math", sufficient to prove all theorems, exists), but it's not illogical.
 
  • #37
PeroK said:
If no truth exists (other than mathematics and physical reality), then that would preclude the statement you just made from being true.

Also, how would you test whether the following statement is true?

"Godel and mathematical philosophy have nothing to do with MUH."

Of course, all statements humans make are designed for communication purposes. The contents then are put under some tests (scientific) and declared by us humans to be true or not. Even many advanced accepted theories are not accepted or interpreted differently by minority scientist. It is only the business of us humans to make up our minds, no chimp will be consulted. That is how science works it is not you vs me, but I can make a hypothesis that we humans can prove it wrong or right by OUR standards. If you weighted about 160 pounds, some statements might reflect such a fact some might not, we have the scale to test.

As to your second question, it is clear that mathematics have served us well and especially over the last 400 years. It is very clear that GR, QM/QFT and their extensions are very very close description of nature. What I keep repeating is that the ultimate correct theory will be of the same nature with no mathematical philosophy involved. This is to be expected, and that is why thousands of physicists with billions of dollars are at it right now. Do you think they are foolish?
 
  • #38
Termark's MUH is the only option. Just think about the negation of it.

Not(MUH) = there is something (prana, spiritual energy, vital force, "fire, which burns life into equations", "something that makes things *actually* exist", magic, you-name-it, and other wordy nonsense stuff), which can not be, in principle, expressed in mathematical form, but which somehow affects physics.

Do you agree with Not(MUH)? If not, accept MUH!
 
  • #39
tzimie said:
Termark's MUH is the only option. Just think about the negation of it.

Not(MUH) = there is something (prana, spiritual energy, vital force, "fire, which burns life into equations", "something that makes things *actually* exist", magic, you-name-it, and other wordy nonsense stuff), which can not be, in principle, expressed in mathematical form, but which somehow affects physics.

Do you agree with Not(MUH)?

I don't see why agreeing with Not(MUH) is nonsensical. "The actual existing Universe is more real than any other valid solution of equations of Laws of Nature". Why this can't possibly be true?

In fact, I even don't see a 100% solid reason to agree that definite "laws of nature" exist. We had several approximations of them already (say, Ptolemy -> Newton -> Einstein) and there is no reason to be absolutely sure this sequence of approximations is finite. Yes, I hope it is finite, but do I know it for sure? No.
 
  • #40
nikkkom said:
What does it even mean for *physics* to be "incomplete", and why it's bad?

It means there will always be something for which you not have no explanation. It means you well never have a complete theory of physics. It means you will never know the true cause or final end of the universe. It means that there could always be something pop into or out of existence with no reason for it, like magic. Do you believe in magic? Or do you believe there is a logical explanation for EVERYTHING?
 
  • #41
friend said:
It means there will always be something for which you not have no explanation. It means you well never have a complete theory of physics. It means you will never know the true cause or final end of the universe. It means that there could always be something pop into or out of existence with no reason for it, like magic. Do you believe in magic? Or do you believe there is a logical explanation for EVERYTHING?

Check my example with "game of life"
TOE = theory of everything (on the fundamental level)
TOE is not expected to explain EVERYTHING (biology, sociology etc)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K