It is true that their definitions are not equivalent, but it seems that he is implying that you cannot generate "pattern-free" music using randomly played notes, and that -depending of the definition of "pattern-free" of course- seems very, very unlikely.
Still, I can appreciate the effort to maximize information entropy, and the divulgation of discrete math.
Not a play on words, it's merely redundant verbiage tacked on in a pathetic attempt to sound cool, just like all the comments that contain a useless "This."
Battlezone was a team multiplayer game, not single player..
That is false. It has a single player campaign. Maybe you're thinking of some other game?
So no, it's not redundant, given the conditions I assumed (I feel I have to say it explicitly this time