On Mon, March 23, 2009 12:07 am, [email protected] wrote: > > > Well spotted, James: but you are making an (entirely reasonable) > assumption > about the measure. > > Add |cos z| = 1 to the domain if you wish but then you will complain that > it is (assuming z is a 'real variable', of course). Which I did since $z<0$. I (subconsciously) played Axiom in my head and looked for an ordered set with a cos functions.
> > [email protected] wrote: ----- > > To: [email protected] > From: "Professor James Davenport" <[email protected]> > Sent by: [email protected] > Date: 22/03/2009 23:14 > cc: "Paul Libbrecht" <[email protected]>, "Math Working Group" > <[email protected]>, "Professor James Davenport" <[email protected]>, > [email protected] > Subject: Re: Being pragmatic about the semantics of, eg, > variables and functions > > On Sun, March 22, 2009 8:19 pm, [email protected] wrote: >> I also have far too much to say about functions and integration, with > examples (only 1-dimensional) such as: >> >> \int _{ |\cos(z)| < 1 and z < 0 } ( sin \invisibletimes exp ) > I'm not sure what this is intended to convey. Since $|\cos z|\le1$, we are > only excluding a set (admittedly infinite, but only finite over a finite > range) of isolated points. James Davenport Visiting Full Professor, University of Waterloo Otherwise: Hebron & Medlock Professor of Information Technology and Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009 IMU Committee on Electronic Information and Communication _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
