Impact of Gödel's incompleteness theorems on a TOE

  • Thread starter PhysDrew
  • Start date
  • Tags
    Impact Toe
In summary, the conversation discusses the potential impact of Godel's theorem on a possible Theory of Everything (TOE), which is a mathematical framework that aims to unify all physical laws. Some argue that Godel's theorem, which states that any consistent axiomatic system is incomplete, could pose a challenge to the existence of a TOE. However, others point out that physics is not an axiomatic system and that Godel's theorem only applies to certain types of axiomatic systems. Additionally, even if a TOE could be formulated as an axiomatic system, it may still be equiconsistent with other well-known systems and its self-consistency would not necessarily guarantee its accuracy. Ultimately, the conversation concludes that Godel
  • #1
PhysDrew
64
0
Well I've searched this forum and didnt see this topic before, so I was wondering what the general consensus is on the impact of Godel's theorem (if any) on a possible TOE?
I'm still wading through it all so just wanted some other opinions...
 
Physics news on Phys.org
  • #2


Godel's theorem is a mathematics foundation subject. It has nothing to do with physics (TOE).
 
  • #3


mathman said:
Godel's theorem is a mathematics foundation subject. It has nothing to do with physics (TOE).

Mmmm but put simply physics is based on mathematics, it is written in the language of mathematics. Stephen Hawking has addressed the problem, and has conceeded that it does apply;

http://www.hawking.org.uk/index.php/lectures/91 [Broken]

So why has it nothing to do with physics?
 
Last edited by a moderator:
  • #4


The philosophy forum is more appropriate for this thread.
 
  • #5


PhysDrew said:
Well I've searched this forum and didnt see this topic before, so I was wondering what the general consensus is on the impact of Godel's theorem (if any) on a possible TOE?
I'm still wading through it all so just wanted some other opinions...
The basic argument that Hawking was making on this subject a few years back is that even if we do discover a theory of everything, physicists would still have a lot of work to do, because due to Goedel's incompleteness theorem, it would be impossible to ever discover all of the consequences of the theory of everything. Thus it's basically an argument that a discovery of a theory of everything, if it occurs, would still leave physicists with lots of work to do.
 
  • #6


I thought Godel's Incompleteness Theorem was only applicable to axiomatic systems. Does Physics have such systems or only pure mathematics?
 
Last edited:
  • #7


Kevin_Axion said:
I thought Godel's Incompleteness Theorem was based applicable to axiomatic system. Does Physics have such systems or only pure mathematics?
I think the expectation is that a theory of everything, whatever that may be, would be an axiomatic system.
 
  • #8


What would justify it being an axiomatic system? Pure Mathematics relies on the notion of axioms, Physics requires experimentation.
 
  • #9


Kevin_Axion said:
What would justify it being an axiomatic system? Pure Mathematics relies on the notion of axioms, Physics requires experimentation.
The point is that axiomatic systems are not arbitrary. Some sets of axioms produce well-behaved mathematical structures, some do not. So the sorts of mathematical structures available is limited in some sense.

The question, then, is which of these mathematical structures is isomorphic to reality. If we ever do manage to eliminate all but one mathematical structure as describing our reality, then that will be our theory of everything. And that one mathematical structure will probably be an axiomatic system.
 
  • #10


There is a good book on this kind of thing: Franzen, Godel's Theorem: An Incomplete Guide to Its Use and Abuse. There are lots of different reasons why Godel's theorem is not relevant to the search for a TOE:

Physics is not axiomatic system.

We don't have a TOE, so we don't know whether Godel's theorem would apply to it, even assuming that it could be made into an axiomatic system. Godel's theorem only applies to certain types of axiomatic systems. For example, it does not apply to elementary Euclidean geometry, which can be proved to be consistent.

It is possible to prove that one axiomatic system is equiconsistent with another, meaning that one is self-consistent if and only if the other is. If we had a TOE, and we could make it into an axiomatic system, and it was the type of axiomatic system to which Godel's theorem applies, then it would probably be equiconsistent with some other well known system, such as some formulation of real analysis. Any doubt about the self-consistency of the TOE would then be equivalent to doubt about the self-consistency of real analysis -- but nobody believes that real analysis lacks self-consistency.

Finally, there is no good reason to care whether a TOE can't be proved to be self-consistent, because there are other worries that are far bigger. The TOE could be self-consistent, but someone could do an experiment that would prove it was wrong.
 
  • #11


bcrowell said:
There is a good book on this kind of thing: Franzen, Godel's Theorem: An Incomplete Guide to Its Use and Abuse. There are lots of different reasons why Godel's theorem is not relevant to the search for a TOE:

Physics is not axiomatic system.

We don't have a TOE, so we don't know whether Godel's theorem would apply to it, even assuming that it could be made into an axiomatic system. Godel's theorem only applies to certain types of axiomatic systems. For example, it does not apply to elementary Euclidean geometry, which can be proved to be consistent.

It is possible to prove that one axiomatic system is equiconsistent with another, meaning that one is self-consistent if and only if the other is. If we had a TOE, and we could make it into an axiomatic system, and it was the type of axiomatic system to which Godel's theorem applies, then it would probably be equiconsistent with some other well known system, such as some formulation of real analysis. Any doubt about the self-consistency of the TOE would then be equivalent to doubt about the self-consistency of real analysis -- but nobody believes that real analysis lacks self-consistency.

Finally, there is no good reason to care whether a TOE can't be proved to be self-consistent, because there are other worries that are far bigger. The TOE could be self-consistent, but someone could do an experiment that would prove it was wrong.

But does the incompleteness theorem show that a TOE is not possible, even in principle?
 
  • #12


How can it show it's impossible if we don't know if a TOE is an axiomatic system? At this point it isn't really applicable.
 
  • #13


Is a TOE not an axiomatic system?
 
  • #14


Even if TOE is an axiomatic system, why should it be incomplete? There are complete systems for example the Euclidean geometry.
 
  • #15


Arithmetic is incomplete.

We probably need arithmetic in the TOE, no?
 
  • #16


atyy said:
Is a TOE not an axiomatic system?
We don't have one yet, so we don't know. But, for example, the standard model has never been stated as an axiomatic system according to the definition used in Godel's theorems. The definition used in Godel's theorems is extremely strict. For example, here is a formal statement of Euclidean geometry: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.9012 Physicists never want or need to do anything with this level of formality.

-Ben
 
  • #17


PhysDrew: I take it that you are quibbling over what "everything" in "theory of everything" means. Who cares? Certainly not physicists.

All this discussion of Euclidean geometry is a bit of a red herring, for at least two reasons. #1: Even Euclidean geometry, at least where it intersections algebraic geometry, is incomplete or inconsistent. The Pythagorean theorem does it in. #2: Physics uses real numbers and more complex number systems, derivatives, all that. That places the mathematics used by physicists smack dab in the middle of a system of sufficient power so as to be subject to Godel's theorems. Once again, who cares? Physicists? No.
 
  • #18


atyy said:
Arithmetic is incomplete.

We probably need arithmetic in the TOE, no?

It's not immediately obvious to me that we do. I know that sounds nuts, but this kind of thing is not necessarily intuitive. You would think that since the reals are a bigger, fancier mathematical system than the natural numbers, then since arithmetic is incomplete, the reals would have to be as well. But that's not the case. The elementary theory of the reals is equiconsistent with the elementary theory of Euclidean geometry, which is provably consistent. It's quite possible that a TOE could be expressed in geometrical language, without the use of any arithmetic.
 
Last edited:
  • #19


D H said:
All this discussion of Euclidean geometry is a bit of a red herring, for at least two reasons. #1: Even Euclidean geometry, at least where it intersections algebraic geometry, is incomplete or inconsistent. The Pythagorean theorem does it in.
This is incorrect. See http://en.wikipedia.org/wiki/Complete_theory for the relevant notion of completeness and incompleteness.

D H said:
#2: Physics uses real numbers and more complex number systems, derivatives, all that. That places the mathematics used by physicists smack dab in the middle of a system of sufficient power so as to be subject to Godel's theorems.
This is also incorrect. See #18. The informal notion of "power" you have in mind is not the appropriate concept for discussion Godel's theorems. E.g., the reals and the complex numbers are equiconsistent, because you can model the complex numbers using the reals: http://en.wikipedia.org/wiki/Model_theory
 
  • #20


bcrowell said:
This is incorrect. See http://en.wikipedia.org/wiki/Complete_theory for the relevant notion of completeness and incompleteness.
Show me a proof of the Pythagorean theorem that does not involve multiplication distributing over addition, then.

This is also incorrect. See #18. The informal notion of "power" you have in mind is not the appropriate concept for discussion Godel's theorems.
Any theory based on the reals is, as far as I know, subject to Godel's theorems.

If you want to do physics without talking about measurement you are not really doing physics in my mind.
 
  • #21


D H said:
Show me a proof of the Pythagorean theorem that does not involve multiplication distributing over addition, then.
Euclid's original proof doesn't refer to numbers or multiplication at all. In any case, it makes a difference whether you're talking about addition and multiplication of natural numbers or of reals; only the latter would be used in a proof of the Pythagorean theorem.

You seem to be asserting that Alfred Tarski's life work is fundamentally flawed. http://en.wikipedia.org/wiki/Tarski's_axioms

D H said:
Any theory based on the reals is, as far as I know, subject to Godel's theorems.
This is incorrect.

D H said:
If you want to do physics without talking about measurement you are not really doing physics in my mind.
Nobody said anything about doing physics without measurement.
 
  • #22


bcrowell said:
We don't have one yet, so we don't know. But, for example, the standard model has never been stated as an axiomatic system according to the definition used in Godel's theorems. The definition used in Godel's theorems is extremely strict. For example, here is a formal statement of Euclidean geometry: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.9012 Physicists never want or need to do anything with this level of formality.

-Ben

Yes, but the standard model is not a TOE. My point of view is that there is no TOE. "The physical theory that can be formulated cannot be the final ultimate theory ... The unformulatable ultimate theory does exist and governs the creation of the universe (http://books.google.com/books?id=1f...ook_result&ct=result&resnum=1&ved=0CC4Q6AEwAA)"

But there certainly is a distinguished line of thought that a TOE exists, and hunting it down is the goal of some sub-discipline of physics.
 
  • #23


atyy said:
Yes, but the standard model is not a TOE.

My point was simply that most likely no broad physical theory has ever been formulated as an axiomatic theory in the sense defined in Godel's theorems, and probably none ever will be. (A possible exception is that I did read somewhere that someone had formalized all the propositions in Newton's Principia and worked on checking them with a computerized proof system. Whether this formalization constitutes a physical theory, or just one aspect of it, is a different matter)
 
  • #24


Science seeks an explanation for all things and assumes that all facts are consistent and reasonable. So it is tempting to think that a TOE can be derived from logic alone. As I understand it deductive logic and predicate logic have been proven to be complete. Now if it happens to be that math is introduced as a way to parameterize the spaces used to construct the topologies involved in the unions and intersections of logic, then does the system become incomplete because we coordinatized the spaces involved? Or is it more correct that since the underlying topologies are independent of which coordinates are used, that the math is incidental and should not be used to judge the consistency of the system?
 
  • #25


Here's the book on the formalization of part of the Principia: Jacques Fleuriot, A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia, https://www.amazon.com/dp/1852334665/?tag=pfamazon01-20 Google books will also let you peek through a keyhole at it.
 
Last edited by a moderator:
  • #26


These proofs of geometry are relative, not absolute proofs. Also, simple systems isolated from interference can indeed be proven consistent and complete. But as soon as things need more robustness, I think that's where Godel's theorem kicks in.

Regardless, physicists seem not give flying fart about it. I do find this strange. They have a lot faith in the language they are using. But I think the closer you get to the truth, the harder it to tinker with less you disturb your experiments.

As physics gets more fundamental, i.e. information theory, I believe these questions surrounding the foundation of math will need to be considered.
 
  • #27


ordered_chaos said:
These proofs of geometry are relative, not absolute proofs.
Could you explain what you mean by this?

ordered_chaos said:
Also, simple systems isolated from interference can indeed be proven consistent and complete. But as soon as things need more robustness, I think that's where Godel's theorem kicks in.
And this?
 
  • #28


On the question of whether geometry is subject to Godel's theorems...

I think it's not very hard to effectively embed arithmetic in geometry. Using some fairly simple geometric constructions, you can effectively define + and x geometrically, and then prove incompleteness. I think you need at least two dimensions to do this, but it can be done.

On another issue, I'm just intrigued as to what people think the alternatives to an axiom system is. I don't see axiom systems as abstract constructs of mathematical logic. Euclid had an axiom system for geometry way before the mathematical logicians hit the scene. I just think of axiom systems as an explicit list of the principles that constitute a theory. I would have thought that, without some such list, the theory wouldn't be well defined.
 
  • #29


The thing is that physics in general doesn't require axioms to have a well-defined theory.
 
  • #30


Kevin_Axion said:
The thing is that physics in general doesn't require axioms to have a well-defined theory.

Ok - I'm willing to believe it. But I'm interested in how you do get a well defined theory without, at some point, appealing to axioms.
 
  • #31


Calculation and experiment I'm assuming.
 
  • #32


Kevin_Axion said:
Calculation and experiment I'm assuming.

I take it we're talking past each other. The methodology of how you discover a correct theory - whether by experiment, calculation, inspired intuition - seems a different question from how that theory is to be expressed and formulated. There's nothing in the nature of an axiom system that prevents it from being arrived at via experiment.
 
  • #33


It's quite easy to see that those searching for a theory of everything need not be disturbed by Gödel's incompleteness theorems -- take, for instance, Conway's Game of Life: it's computationally universal, and thus, there are undecidable statements about its evolution; however, it nevertheless has a simple TOE -- its evolution rule.

But really, for anyone curious about the subject, Franzen's book, which I think bcrowell has already mentioned, is the single best resource I ever encountered.
 
  • #34


This thread should be in philosophy.

Gödel's theorem is just a result about mathematical logic and meta language, you might as well argue whether physics can refute idealism,

In fact physics theories are even finite in their construction, or can be sufficiently well approximated by a finite algorithm and predict all required physical behaviour, they don't even need the countable infinity of natural numbers.

Physics tries to find a concise instruction set to predict nature, it doesn't say anything about philosophical problems which aren't much more relevant than religion.
 
  • #35


S.Daedalus said:
Conway's Game of Life: it's computationally universal, and thus, there are undecidable statements about its evolution; however, it nevertheless has a simple TOE -- its evolution rule.
A very concise and clear cut way to show that TOE is possible despite incompleteness. :cool:

S.Daedalus said:
those searching for a theory of everything need not be disturbed by Gödel's incompleteness theorems
I'm not sure to buy this conclusion however. Incompleteness means that there'll always exist some configuration that Conway Game of Life can reach, altough we can't prove it. Conversely, that seems to mean that someone looking for evidence of a TOE can face data that one cannot prove is allowed by a candidate TOE -even if it's the good one. :uhh:
 

Similar threads

  • Beyond the Standard Models
Replies
10
Views
3K
  • Mechanical Engineering
Replies
20
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
24
Views
2K
Replies
2
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
16
Views
2K
  • Beyond the Standard Models
2
Replies
60
Views
5K
Replies
13
Views
1K
  • STEM Career Guidance
Replies
27
Views
1K
  • Programming and Computer Science
Replies
32
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
2K
Back
Top