I sent this, but it fell foul of the length limit. So I am resending it without the attachment, which is at http://staff.bath.ac.uk/masjhd/OpenMath/Conditions-JHD.pdf
James ---------------------------- Original Message ---------------------------- Subject: Re: [Om3] Results from the OM3/MathML3 telcon yesterday From: "Professor James Davenport" <[EMAIL PROTECTED]> Date: Sat, October 11, 2008 11:16 am To: [EMAIL PROTECTED] Cc: "OM3 Mailing list" <[email protected]> -------------------------------------------------------------------------- On Sat, October 11, 2008 8:06 am, Michael Kohlhase wrote: > yesterday at 17:00-18:00 CET we had the telcon on the future of complex > binding operators and the condition element in OM3/MathML3. > > Present: Olga Caprotti, David Carlisle, James Davenport, Michael > Kohlhase , Chris Rowley. > Minutes: see below. Than,s to all who particapated. For those who weren't there, can I point out thatthese are the record of the written part of the meeting: if some-one SAYS (therefore unrecorded here) someting important, some-one else tends to enter it into the reocrd, hence phrases like: > Olga Caprotti > 17:42 > David says STS has to be fixed also > j.h.davenport > 17:42 > david: STS doesn't really handle binders, even simpler ones which is Olga and I attempting to capture what david was saying. > James was tasked to make sense of the integration/differentiation > examples from the MathML2 spec and make concrete suggestions for the > expression-based calculus CD. The attahced is my first (incomplete) cut at this. > 2. the group does not think that complex binding operators like the > one above is a suitable representation measure for the <condition> > qualifier element of pragmatic MathML. In particular, we do not > want to accept the occurrence of the bound variable in the > (complex) binding operator. In particular, the OpenMath2 standard > restricts alpha-conversion to the second and third children of the > OMBIND, which is consistent with this view. Note, towards the end, a concrete example which illustrates this point. James Davenport Hebron & Medlock Professor of Information Technology Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept Lecturer on CM30070, 30078, 50209, 50123, 50199 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor IMU Committee on Electronic Information and Communication James Davenport Hebron & Medlock Professor of Information Technology Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept Lecturer on CM30070, 30078, 50209, 50123, 50199 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor IMU Committee on Electronic Information and Communication _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
