Re: More /.{I->-1} craziness

*To*: mathgroup at smc.vnet.net*Subject*: [mg106204] Re: More /.{I->-1} craziness*From*: Richard Fateman <fateman at cs.berkeley.edu>*Date*: Tue, 5 Jan 2010 01:44:03 -0500 (EST)*References*: <200912300915.EAA17299@smc.vnet.net> <hhhmn8$o9t$1@smc.vnet.net> <201001030840.DAA09997@smc.vnet.net> <hhshmg$kn7$1@smc.vnet.net>

Does it bear repeating? In f[x_]:= ... the x_ is a pattern. The reality in Mathematica programming is that this is NOT a function definition, but a replacement rule. Contrary to Andrzej's opinion, this is not "mathematical" but is made up of exactly the same stuff as Rules, with pattern matching and replacement. It is a useful shorthand illusion that you are defining a function. But it is an illusion. Wolfram, in his earlier SMP, called these Projections, but I guess that was just to confusing. Here's a pattern-driven rule that describes how to replace f[something]: f[x_]:=x+1 In contrast, Mathematica DOES have functions. To define the (I think appx. same) function as f above, you can do this: f=#1+1& and for people who wonder what this is, you can try it out and/or read the manual. And as for when/if these are exactly the same, I think there would have to be some examination of the role of free and bound variables, the effect of "return" and other issues that, by and large, also cause confusion in the Mathematica context, since some ideas borrowed from well-understood programming concepts were not quite understood by the initial implementors of Mathematica. I don't know if they have been patched correctly in the current system. RJF Andrzej Kozlowski wrote: > On 3 Jan 2010, at 17:40, Vince Virgilio wrote: >..... I think its not a great exaggeration > to say that most of applied mathematics consists of evaluation and most > of pure mathematics of studying the effect of various equivalence > relations on certain expressions. Neither has much in common with > general syntactic substitution. If you believe this then it seems that syntactic substitution would really be a weak tool in so much of applied mathematics, and you should be seeking a better tool. RJF

**References**:**Re: More /.{I->-1} craziness***From:*Vince Virgilio <blueschi@gmail.com>