That said, tools like Mathmatica are here to stay, and the argument that we need to spend more time teaching the use of these tools as an aid to exploring and understanding fundamental concepts is probably correct.
That said, tools like Mathmatica are here to stay, and the argument that we need to spend more time teaching the use of these tools as an aid to exploring and understanding fundamental concepts is probably correct.
I think the problem with your example, ams6110, is that Wolfram might retort that software developers don't need to have programed in assembly. Yes (says Wolfram), the absolute best developers in the world might be well-versed in the this, but that doesn't mean all developers should be so trained, in the way that we train everyone to do arithmatic.
To respond to this, I would say: no one would ever study Ramanujan theta functions without learning linear algebra, and no one should study linear algebra without learning arithmetic. Most other subjects must be compartmentalized, because it is impossibly difficult to derive biology from basic chemistry; some things must be accepted as given. But math is different. In math, you really can derive everything from the ground up, and doing so is immensely valuable.
However this is exactly how math is practiced.
Wouldn't it be better to start with higher order logic first, so students can see a value proposition then work our way down to the nitty gritty computation that no one needs to do unless they're advancing the field?
And I think you're wrong about starting with higher order logic. It's too easy to make plausible statements that are simply wrong. Learning the real nitty-gritty is essential to avoid sweeping errors.
Conrad Wolfram addresses this very point in the video (11:30). He says that the most valid point that hand-calculating helps understanding is that teaching processes themselves helps understanding, but that there's a better way to do that: programming. In other words, programming a math solution is better for teaching math understanding that hand solving it.
In the end, I think the idea he's trying to impart is that the core of math is not calculation at all, it just seems that way because they've been intertwined for so long. But now that we have computers to do the tedious calculations, we can work on defining and exploring what math really is: how different conceptual intuitions are related
Case and point, how many web developers do you know who could outline the TCP/IP protocols in great detail?