[prev in list] [next in list] [prev in thread] [next in thread] 

List:       ruby-talk
Subject:    ruby-math and "why is ** not abelian?"
From:       vanjac12 () yahoo ! com (Van Jacques)
Date:       2004-01-26 12:01:06
Message-ID: 70ae81fd.0401260358.5f0d6a6a () posting ! google ! com
[Download RAW message or body]

I was reading the 1st thread in the ruby-math discussion at

http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-math/

(it in Japanese, but Excite has an auto translater--its interesting to
see
how it translates Japanese to English).

If anyone cares, what I got was basically this.

If + is commutative, and the successor operation to + is *, which is
also commutative;
(a*b = b*a), then why isn't a**b = b**a since ** is successor
operation to * ?

Some discussion of induction and Peano axioms, which I didn't think
through.

Van

[prev in list] [next in list] [prev in thread] [next in thread]