Results 1 to 11 of 11

Math Help - 1+1=2, Axiom or Proof

  1. #1
    Junior Member
    Joined
    Jul 2011
    Posts
    25

    Post 1+1=2, Axiom or Proof

    Hello,

    1+1-2

    Is this an axiom or a proof?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: 1+1=2, Axiom or Proof

    Neither. An axiom is in particular a proposition, i.e., something that is either true or false. Here, 1 + 1 - 2 is neither true nor false. Further, a proof is an expression that usually combines propositions according to specified inference rules. Therefore, this is not a proof, either.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jul 2011
    Posts
    25

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by emakarov View Post
    Neither. An axiom is in particular a proposition, i.e., something that is either true or false. Here, 1 + 1 - 2 is neither true nor false. Further, a proof is an expression that usually combines propositions according to specified inference rules. Therefore, this is not a proof, either.
    May be I am wrong. Did Russell proved 1+1=2 in Principia Mathematica?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: 1+1=2, Axiom or Proof

    What does 1+1=2 have to do with 1+1-2 from the original post?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by shounakbhatta View Post
    Did Russell proved 1+1=2 in Principia Mathematica?
    Yes; see this post.

    Whether 1 + 1 = 2 is considered an axioms or a theorem varies between formal systems. E.g., in Peano Arithmetic, it is a theorem and in the Calculus of Inductive Constructions it is an (instance of a universal) axiom.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Jul 2011
    Posts
    25

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by emakarov View Post
    Yes; see this post.

    Whether 1 + 1 = 2 is considered an axioms or a theorem varies between formal systems. E.g., in Peano Arithmetic, it is a theorem and in the Calculus of Inductive Constructions it is an (instance of a universal) axiom.
    Thank you.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Jul 2011
    Posts
    27

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by emakarov View Post
    E.g., in Peano Arithmetic, it is a theorem [...]
    Just to be sure to understand. 2 is syntaxic sugar for SS0 (with S the symbol of the successor function).

    So you say it's a theorem (result of a proof) and not an axiom because we have to invoque sequently :
    (1) Axiom \forall v_0\forall v_1 v_0+Sv_1 = S(v_0+v_1) on S0 and 0 :
    S0+S0 = S(S0+0)
    (2) Axiom \forall v_0 v_0+0 = v_0 on S0 :
    S0+S0 = SS0
    ?
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: 1+1=2, Axiom or Proof

    Yes, plus the axioms of equality that would allow replacing S0 + 0 with S0 under S and would justify SS0 = SS0.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Junior Member
    Joined
    Jul 2011
    Posts
    27

    Re: 1+1=2, Axiom or Proof

    Thanks

    (Yes of course for the equality axioms, but as the equality is always on the language [at least in the class I followed] and that the axioms do not depend of the language, I consider them implicitly.)
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Member
    Joined
    May 2011
    From
    Sacramento, CA
    Posts
    165

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by emakarov View Post
    Yes; see this post.

    Whether 1 + 1 = 2 is considered an axioms or a theorem varies between formal systems. E.g., in Peano Arithmetic, it is a theorem and in the Calculus of Inductive Constructions it is an (instance of a universal) axiom.
    To further this point, any sentence s can be put into a formal system as an axiom. Therefore, the question is what system are we talking about and is the axiom redundant? By the latter question I mean can we take a formal system S and exclude the axiom s in it and still derive s. Then there was no need for s to be an axiom of S. As emakarov pointed out, in Peano Arithmetic, it would make no sense to have an axiom or axiom schema for "1 + 1 = 2," but in another system it can very well be an (instance of an) axiom. Of course, when we say something like Peano Arithmetic, it is so defined as to have certain axioms. If we had an axiom or schema for "1 + 1 = 2", it wouldn't actually be Peano Arithmetic anymore. It would be "PA + s".
    Follow Math Help Forum on Facebook and Google+

  11. #11
    Junior Member
    Joined
    Jul 2011
    Posts
    25

    Re: 1+1=2, Axiom or Proof

    Quote Originally Posted by bryangoodrich View Post
    To further this point, any sentence s can be put into a formal system as an axiom. Therefore, the question is what system are we talking about and is the axiom redundant? By the latter question I mean can we take a formal system S and exclude the axiom s in it and still derive s. Then there was no need for s to be an axiom of S. As emakarov pointed out, in Peano Arithmetic, it would make no sense to have an axiom or axiom schema for "1 + 1 = 2," but in another system it can very well be an (instance of an) axiom. Of course, when we say something like Peano Arithmetic, it is so defined as to have certain axioms. If we had an axiom or schema for "1 + 1 = 2", it wouldn't actually be Peano Arithmetic anymore. It would be "PA + s".
    Thank you very much. This seems to be clearing my concepts more clearly.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Vector Space Axiom Proof
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: May 13th 2011, 05:01 AM
  2. Axiom proof by contradiction
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: June 30th 2010, 12:34 PM
  3. Geometry Proof involving Archimedes' axiom
    Posted in the Geometry Forum
    Replies: 0
    Last Post: February 2nd 2010, 08:47 PM
  4. Axiom of Induction Uh Oh
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 16th 2009, 04:03 AM
  5. Another Axiom Question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 7th 2009, 09:06 AM

Search Tags


/mathhelpforum @mathhelpforum