User talk:Sam Staton
From Wikipedia, the free encyclopedia
[edit] Substitution in Lambda Calculus
Yeah, I screwed up. I thought I could define the concept of substitution and then express both the alpha and beta reduction rules using this concept, but I see now that this is not the right approach. This is all more subtle and complex than I had originally thought. I'm back to real work tomorrow, but I should have something more sensible next weekend. Thanks for the correction. A B Carter (talk) 23:49, 1 June 2008 (UTC)
[edit] Quaternion
Many non-mathematicians need to find the definition of a quaternion as a rotation. For them Rotation operator (vector space) is the right reference. Only some mathematicians are interested in the "division algebra"
