>> > Manifesto: a pure, context-free lambda-expression neither describes a > mathematical function nor expresses any 'mathematical semantics'.
This is a (doubtless intentionally) provocative statement, with which I have some sympathy. Of course, it is technically false, a "pure, context-free lambda-expression" expresses the mathematical semantics of such an object in the lambda-calculus. >> True and true. >> Whether this is relevant to much of the rest of the mathematics is the question. >> Precisely, but more precisely: is it relevant to current usage of OM ? is it relevant to anticipated and different uses of OM ? is it relevant to the digitisation of (most) mathematical exposition ? chris --------------------------------------------------------------------------- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302) _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
