On 10/23/2007 12:24 PM, Gabriel Dos Reis wrote:
On Tue, 23 Oct 2007, Ralf Hemmecke wrote:
| > What would be its meaning?
|
| Maybe this one....
[aldor code]
Am I the only one here who believes that 'meaning' has to be given
mathematically, indenpendent of syntax, and typing rules must also be
given too?
Well, I only wanted to demonstrate that Bill might have had the wrong
idea when he wanted 1..9 to be a domain instead of an element.
It seems that was not clear. Sorry.
Ralf
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
