On Tue, 23 Oct 2007, Ralf Hemmecke wrote: | 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.
No need to apologize. I just feel like I have been asking for `meaning', and I almost always get back more codes without semantics I was looking for. If every body agrees that that is a construct we don't have a clear semantics for, then I'll just shut up. -- Gaby _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
