News for hackers. Stuff that matters.
Re:Has a surfer Ph.D. rewritten physics? Maybe. by sarehu on Sunday July 27, 2008 @02:21PM (#258331)
That's complete nonsense. There's nothing about Godel's theorem that says the physical rules of the universe can't be described. You're babbling religiously.
Re:Has a surfer Ph.D. rewritten physics? Maybe. by DanielBMarkham on Sunday July 27, 2008 @03:53PM (#258379)
"A small number of scientists claim that Gödel's incompleteness theorem proves that any attempt to construct a TOE is bound to fail. Gödel's theorem states that any non-trivial mathematical theory that has a finite description is either inconsistent or incomplete."

That's from the Wiki, FWIW. I'm not big on using Wiki as a source.

"Babbling religiously" is right on the line in my opinion. It makes you sound like an arrogant jerk. If you have problems with the content of the comment, state your case in neutral terms.

Learn to live with other people's ambiguity and looseness in phrasing. Then perhaps they'll be more forgiving of yours. (Downmod)

Re:Has a surfer Ph.D. rewritten physics? Maybe. by tb on Sunday July 27, 2008 @08:57PM (#258568)
You appear to misunderstand the meaning of the terms "inconsistent" and "incomplete" in the context of Gödel's theorem.

"Inconsistent": There is at least one statement within the system that can be proved both true and false.

"Incomplete": There is at least one statement within the system that is true, but cannot be proved to be true within the system.

Since Gödel's theorem applies to formal systems in mathematics, it does not say anything about the possibility or impossibility of constructing a "complete" (whatever that means) mathematical description of our reality.

Re:Has a surfer Ph.D. rewritten physics? Maybe. by DanielBMarkham on Sunday July 27, 2008 @09:02PM (#258575)
Thank you.

If I understand your last statement correctly, you are saying that a complete but non-formal mathematical system could exist which models our reality.

I'm not sure that's where you wanted to go, but I appreciate the help and clarification.

Re:Has a surfer Ph.D. rewritten physics? Maybe. by brentr on Sunday July 27, 2008 @02:26PM (#258336)
Check out the following entry on Wikipedia related to Godel's Incompleteness Theorem and the Theory of Everything

http://en.wikipedia.org/wiki/Theory_of_everything

Re:Has a surfer Ph.D. rewritten physics? Maybe. by sarehu on Sunday July 27, 2008 @02:45PM (#258346)
What about it? All Godel's incompleteness theorem says is that there will be open questions about a universe describable by finitely many rules. The laws of physics don't need to provide answers to questions about whether computers in its universe will halt or whether planetary systems are stable.
Re:Has a surfer Ph.D. rewritten physics? Maybe. by brentr on Sunday July 27, 2008 @02:51PM (#258349)
What do you mean "the laws of physics don't need to provide answers to whether planetary systems are stable"? Since when are planetary systems outside of physics?

Your sentence "All Godel's incompleteness theorems says is that there will be open questions about a universe describable by finitely many rules" shows right there that there cannot be a theory of everything. How can you have a theory of everything yet still have open questions? That means that you have not answered everything.

Re:Has a surfer Ph.D. rewritten physics? Maybe. by sarehu on Sunday July 27, 2008 @03:13PM (#258364)
It's my understanding that a theory of everything describes the rules by which the universe operates. It doesn't say anything about emergent properties of these rules.

For example, if everything in the universe obeyed Newtonian mechanics, I would say that Newtonian mechanics was a theory of everything. You would say that it isn't.

Re:Has a surfer Ph.D. rewritten physics? Maybe. by mlinsey on Sunday July 27, 2008 @05:40PM (#258427)
Technically, a "Theory of Everything" in physics is just a theory that relates the four known forces in the universe: gravity, electromagnatism, strong nuclear, and weak nuclear. The latter three (I believe) have already been unified. It's a "theory of everything" because it describes every force in the universe.

That of course does not imply that the theory of everything automatically gets you a complete description of the universe. Even in the context of a single force, it can be difficult/impossible to come up with a closed form solution for how many different objects interact subject to that force. For example, the behavior of gravity is really well understood but that doesn't mean that we can come up with straightforward, closed form solutions for the n-body problem of a bunch of stars interacting with each other's gravitational pulls in space.