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

Proof the Godel's Incompleteness Theorem

  1. Jun 13, 2003 #1
    who can show me how to proof the Godel's Incompleteness Theorem ?
    it that mean the system of mathematics will never be complate??
    Last edited by a moderator: Feb 5, 2013
  2. jcsd
  3. Jun 13, 2003 #2


    User Avatar
    Science Advisor

    I doubt that anyone can show you how to prove Goedel's incompleteness theorem- its very long and very deep. There are a number of books written on it alone.

    Yes, Goedel's theorem says that any system of axioms (large enough to encompass the natural numbers) is either inconsistent (in which case it's useless) or incomplete (in which case it's not perfect!).

    Saying that a system is incomplete means there exist some theorem, statable in terms of the system which can be neither proven nor disproven. Of course, you could always add that theorem itself as an axiom but then you would have some other theorem that can be neither proven nor disproven.

    One cannot prove, in absolute terms, that most of the systems used in mathematics are consistent- it is possible to prove, for example, that Euclidean geometry is consistent if and only if hyperbolic geometry is, or that Euclidean geometry is consistent if and only if algebra is, which is consistent if and only if the natural numbers are, which is true if and only if set theory is consistent....

    Since there are one heckuva lot of things we don't know HOW to prove, most mathematicians are willing to live with the knowledge that they can't prove EVERYTHING!
  4. Jun 13, 2003 #3
    i see.....
    are this theorem include the other science system like physics system??
  5. Jun 13, 2003 #4


    User Avatar
    Science Advisor

    It applies only to logical systems based on axioms. That includes all of mathematics. It does not apply to physics or other sciences that are based on experimental evidencel.

    It is conceivable that, if a particular axiomatic system used to model physics were inconsistent, the mathematical foundation would be in trouble. The experimental evidence, of course, would still be valid. I will point out that there is no evidence that any important mathematical system is inconsistent.
  6. Jun 14, 2003 #5
    what i mean is theoretical physics....
    some theory was create by scientist before they have the experimental evidence
    Last edited: Jun 14, 2003
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook