Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.
Gabriel Dos Reis <[email protected]> Tue, 23 Oct 2007 05:24:53 -0500 (CDT)
| Newsgroups | gmane.comp.mathematics.axiom.general |
|---|---|
| Message-ID | <[email protected]> |
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? -- Gaby