
Re: Can addition be defined in terms of multiplication?
Posted:
Aug 16, 2013 10:23 PM


On 16/08/2013 9:49 AM, dullrich@sprynet.com wrote: > On Fri, 16 Aug 2013 02:05:09 0700, William Elliot <marsh@panix.com> > wrote: > >> 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) > > If you don't know what "in the language of arithmetic" means > it would be a good idea to refrain from answering questions > about the language of arithmetic, lest you look silly.
_That_ actually isn't silly. The language of arithmetic is either L1(0,S,+,*,<) or L2(0,S,+,*), so "in the language of arithmetic" technically just means "in L1" or "in L2".
What is really ... really silly is the fact whatever "in the language of arithmetic" is _supposed to MEAN_ is basically negated, destroyed, by the upward LST.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI

