>>6
Well, if my intuition is wrong, that is to say he does not want to reduce practice, then I have no disagreement at all, and since this was never explicitly stated I'm left without an argument to defend. Within this context then the significance of computing (as opposed to computer science) is not removing the need of knowledge from the user but permitting more efficient exploration. I still find alarming the mention of the ``tool that can directly compute the result'' at all.
I suspect I rejected these ideas not because of their own merits but because of their similarity to other ideas I reject. I have a (perhaps incorrect) view that Mathematics is under a constant assault from those who would seek to remove from it derivation, practice, and at the same time intuitive thinking and conjecture. Sussman's argument was too close to the antithesis for me. I'll try to come to some higher conclusion rereading in the days to come.