There's a section in the linked Wikipedia article that describes Jorge Luis Borges tracing the origin of the concept back to Aristotle's Metaphysics.
That's the best thing I've read today. I've often heard the monkeys-on-typewriters imagery, but never related it to an idea of a "total library" which contains everything that can ever be written, probably even itself. I suppose the digits of Pi may be considered such a "library".
"Strictly speaking, one immortal monkey would suffice."
> Let us call a set "normal" if it is not a member of itself, and "abnormal" if it is a member of itself.
> Now we consider the set of all normal sets, R, and try to determine whether R is normal or abnormal. If R were normal, it would be contained in the set of all normal sets (itself), and therefore be abnormal; on the other hand if R were abnormal, it would not be contained in the set of all normal sets (itself), and therefore be normal.
> This leads to the conclusion that R is neither normal nor abnormal: Russell's paradox.
That proves your point, that it's a mathematical impossibility.
Borges calls it "the vast, contradictory Library", so clearly he was aware of this fact.
Borges's library can't contain itself because it is of a strictly finite size: the books are only 410 pages, or whatever, and so while astronomically large, the total number of sequences is finite. His point was that for any sub-book-sized claim, there would be another book contradicting it, if only through prefixing "it is not true that" or something.
His Book of Sand would, however, appear to be vulnerable to diagonalization.
Unfortunately the distribution of entry of characters by humans is not likely to be uniformly random, hence this will not occur even if all of humanity were to stumble across this readme.
[1] https://en.wikipedia.org/wiki/Infinite_monkey_theorem