Hm, the way I read it, "Confusion" wasn't suggesting to skip the exercise because it's hard, but because it assumes specific mathematical knowledge which, strictly speaking, is unnecessary to master SICP concepts.
As you point out, it may still be useful to have that knowledge, and if you have the time and the mathematically-inclined brains, it may be a skill worth learning... but I feel that it shouldn't be required to successfully learn the concepts in SICP. SICP is hard enough as it is, no need to get sidetracked if you don't absolutely have to.
(I realize this comment may bring all the "programming is math" fans out of the woodwork, but so be it. :-)
Learning what a proof is is valuable for programming too. Many people don't see a difference between a proof and an argument. It is valuable to learn the difference between "This is why this program is correct" and "Here are some reasons why this program is probably correct".
As you point out, it may still be useful to have that knowledge, and if you have the time and the mathematically-inclined brains, it may be a skill worth learning... but I feel that it shouldn't be required to successfully learn the concepts in SICP. SICP is hard enough as it is, no need to get sidetracked if you don't absolutely have to.
(I realize this comment may bring all the "programming is math" fans out of the woodwork, but so be it. :-)