i agree that memorization by internalization (concepts) is different from (and superior to) memorization by rote (text); i was agreeing with the other fellow that rote memorization is not the end goal. however, to me they're both "memorization" because they both represent work to achieve fluency in application.

however, i made my comment because i think i disagree that spaced repetition has no place in learning. i think that if you dig around in the Polar guy's earlier comments, you'll find threads where folks like michael nielsen are talking about using spaced repetition tools for much more than purely textual memorization of theorems - basically, cycles of repetition and (re)synthesis. so i don't feel it's right to completely shut him down about card decks. you may disagree, of course.