Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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

 Messages: [ Previous | Next ]
 tommy1729_ Posts: 23 From: belgium Registered: 8/22/13
Re: Can addition be defined in terms of multiplication?
Posted: Aug 23, 2013 3:56 PM

> On Fri, 16 Aug 2013, Peter Percival wrote:
>

> > Can addition be defined in terms of multiplication?
> I.e., is there a formula
> > in the language of arithmetic
> >
> > x + y = z <-> ...
> >
> > such that in '...' any of the symbols of arithmetic

> except + may occur? Or,
> > alternatively, is there a formula in the language
> of arithmetic
> >
> > x + y = ...
> >
> > with the same requirement?

>
> x + y = log(e^x * e^y)

the logaritm has branches on the complex plane Im afraid.

On the other hand, I dont call it " silly " as Ullrich likes to do.

>
> > The symbols of arithmetic (for the purpose of this
> question) are either
> >
> > individual variables, (classical) logical

> constants including =,
> > S, +, *, and punctuation marks;
> >
> > or the above with < as an additional binary

> predicate symbol.
> >

regards

tommy1729

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