Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

IIRC, ToE not possible, per Goedel

  1. Mar 29, 2004 #1
    If one is seeking to explain everything, doesn't one run up against Goedel's incompleteness theorem?
  2. jcsd
  3. Mar 29, 2004 #2


    User Avatar
    Staff Emeritus
    Gold Member
    Dearly Missed

    Goedel's theorem concerns proof systems that are rich enough to prove arithmetic. Second order propositional calculus is such a proof system, and any system that contains it, such as the popular ZF axioms of set theory, is either undecidable or incomplete, by Goedel's theorem or its successors.

    But any mathematical system than does not base itself on such a proof system is not necessarily undecidable or incomplete. Tarski showed that geometry is complete back in 1948, and work in the last ten years or so has shown that a broad class of operations with real numbers is complete, too. So it's not a foregone conclusion that the math of physics will run into Goedel problems.
  4. Apr 5, 2004 #3
    Physics in not an attempt to prove the completeness of mathematics. Nor has it been proven that you even need a complete math system to prove the completeness of physics. Physics is deliberately using only a subset of math since it's an effort to reduce all things to a brief formula, it does not require every valid mathematical formula for its completeness.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook