[Om3] CD-review little report

[Paul Libbrecht]

Le 22-sept.-08 à 10:05, Professor James Davenport a écrit :

>>>   - I have rephrased "takes no argument" to "cannot be applied"
>> Certainly an improvement.
> What we really mean is that it is a constant, rather than an operator.

to me that is the same meaning

> Of  course, Universal Algebra reagrds constants as nullary  
> operators, which is
> probably where the confused wording came from.
> Actually, I don't think we need any words here: just delete the  
> sentence,
> so that (both_sides, for example) reads "This symbol is used ... both
> sides."

Doesn't it help clarity to make sure that no-one uses it applied  
anywhere?
I thought so.

paul
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080925/46e0b5ca/attachment.bin