Posted by: Gary Ernest Davis on: September 14, 2013

No

To imagine that defines a single thing – a *function* for whichÂ Â – is to miss the important point that this differential equation has a whole family of solutions: , a Â solution for each real number :

So,Â , NOTÂ as is commonly written.

The villain who engendered this confusion was none other than the greatÂ Gottfried Wilhelm Leibniz a co-discover/inventor of calculus along with Isaac Newton.

Wait! I hear you say, isn’t this just pedantry? Does it really matter if we writeÂ as or as the fashionable set-theoreticÂ ?

Well yes, it does. Think about how you might resolve the following apparent conundrum:

so !!

This is nonsense, of course, because the algebraic calculation proceeds as ifÂ is a well-defined function, which it is not: it is a family of functions (even worse – defined over a disconnected domain).

Students of mathematics need to learn how to think, not carry out mindless calculations as if they were performing monkeys.

This is an important psychological point: students are used to writingÂ as a *conditioned response*, functioning at a symbolic level equivalent to that almost of a dog or a cat (“sit, Fido”, “Here’s food, puss.”), whereas to gain mathematical power and flexibly they need to be functioning at a much higher symbolic level, utilizing a far richer collection of symbolic reference.

1 | Sue VanHattum

September 15, 2013 at 11:05 am

Interesting. I hadn’t thought about writing it that way. I often work problems to show the students, where the new c in a step is some multiple of the old c, and I carefully label them c sub 1 and c sub 2, and then say I want to be sloppy, is that ok with them. Showing them this set notation might help them see why I do that. You wouldn’t use it all the time, would you?

My bigger issue with the notation is that textbooks introduce indefinite integrals first, and then when they use almost the same notation for area under a curve, students assume anti-derivatives will be involved. So they aren’t suitably impressed with the ideas in the fundamental theorem of calculus. They think it’s obvious, even though they don’t understand it. (The power of notation!)

I have gotten around this by introducing the area using very non-standard notation. I avoid the standard symbols until we’ve gotten through the fundamental theorem.