Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Can addition be defined in terms of multiplication?
Replies: 58   Last Post: Aug 23, 2013 3:56 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,280
Registered: 5/20/10
Re: Can addition be defined in terms of multiplication?
Posted: Aug 20, 2013 5:18 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



> Actually, more is known. Neither addition nor multiplication is
>
> definable from successor alone;



This is all it takes to do addition:



PROGRAM LIST
1 + X 0 X
2 + X [ s Y ] [ s Z ] <-
+ X Y Z





TRACE
+ [s[s 0]] [s 0] ANS ?

HEAD 1
+ X [ s Y ] [ s Z ] [AXIOM 2]
TAIL 1
+ X Y Z
+ [ s s 0 ] [ 0 ] Z
HEAD 1
+ X 0 X [AXIOM 1]
MATCH
TRUE 1
MATCH



+ [s[s 0]] [s 0] ANS ?

ANS = s s s 0






Try it for yourself if you don't believe me!

www.phpPROLOG.com



Date Subject Author
8/16/13
Read Can addition be defined in terms of multiplication?
Peter Percival
8/16/13
Read Re: Can addition be defined in terms of multiplication?
William Elliot
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/16/13
Read Re: Can addition be defined in terms of multiplication?
David C. Ullrich
8/16/13
Read Re: Can addition be defined in terms of multiplication?
namducnguyen
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/17/13
Read Re: Can addition be defined in terms of multiplication?
namducnguyen
8/17/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/23/13
Read Re: Can addition be defined in terms of multiplication?
tommy1729_
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Robin Chapman
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Helmut Richter
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Rotwang
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Virgil
8/22/13
Read Re: Can addition be defined in terms of multiplication?
Rock Brentwood
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Shmuel (Seymour J.) Metz
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Helmut Richter
8/16/13
Read Re: Can addition be defined in terms of multiplication?
Jim Burns
8/16/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Robin Chapman
8/17/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/17/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/18/13
Read Re: Can addition be defined in terms of multiplication?
William Elliot
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/18/13
Read Re: Can addition be defined in terms of multiplication?
William Elliot
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/18/13
Read Re: Can addition be defined in terms of multiplication?
David C. Ullrich
8/18/13
Read Re: Can addition be defined in terms of multiplication?
David C. Ullrich
8/17/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/18/13
Read Re: Can addition be defined in terms of multiplication?
David Bernier
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Ben Bacarisse
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Jim Burns
8/18/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Ben Bacarisse
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/18/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/19/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/19/13
Read Re: Can addition be defined in terms of multiplication?
Alan Smaill
8/19/13
Read Re: Can addition be defined in terms of multiplication?
fom
8/19/13
Read Re: Can addition be defined in terms of multiplication?
Alan Smaill
8/20/13
Read Re: Can addition be defined in terms of multiplication?
Alan Smaill
8/20/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/20/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/20/13
Read Re: Can addition be defined in terms of multiplication?
Graham Cooper
8/22/13
Read Re: Can addition be defined in terms of multiplication?
David Libert
8/22/13
Read Re: Can addition be defined in terms of multiplication?
Peter Percival
8/20/13
Read Re: Can addition be defined in terms of multiplication?
fom

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.