Re: Computability

Well, visions of global one-ness aside, maybe I should just rewrite
the proposition this way:

A x,y,z,k in Z,
(x,y) = (y,z) = (x,z) = 1 ==>
!E k | A (a,b,c) in S={ (x,y,z),(x,z,y), ... (z,y,x) )
o(a * i(b,c), c) = k

On the other hand, maybe nobody here cares. If that is the case, I am
off to some other place!



Doug
.