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

Set Theory-Inconsistent?

  1. Mar 16, 2013 #1
    Hello all!
    I recently read A Universe in Zero Words (it actually has words), a book about the history and influence of important equations. It discussed (if I understood correctly) that our current arithmetic operations are based on set theory, and that since set theory isn't entirely consistent, that a proof of the sum of one and one being equal to three might be produced.
    Thoughts?
    R
     
  2. jcsd
  3. Mar 16, 2013 #2

    MLP

    User Avatar

    2+2

    I would question what exactly is meant by saying that "set theory isn't entirely consistent".
     
  4. Mar 16, 2013 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    That book is not entirely correct then. Set theory might be completely consistent, but the problem is that we don't know. We can never actually prove that set theory is consistent or not. So while most mathematicians guess that set theory is consistent, we can never know for certain. This is one of Godel's incompleteness theorems.

    So if the book says that set theory isn't entirely consistent, then that is false. The right thing to say is that we don't know whether it is consistent or not. And if it is consistent: then we will never be able to prove that it is consistent. But yes, it can be that set theory is inconsistent. So it might happen that we produce a proof of 1+1=3.
     
  5. Mar 17, 2013 #4
    Well and then maybe they meant naive set theory, which is inconsistent due to the "set of all sets... " stuff. But that has kind of been resolved.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Set Theory-Inconsistent?
  1. Set theory (Replies: 6)

  2. XOR in set theory (Replies: 8)

  3. Elementary set theory (Replies: 2)

Loading...