I don't understand why so many people seem so fascinated by constructions like the library of Babel. Yes it contains the answers to all your questions, but there are some significant drawbacks.
* It has more wrong information than right information, with no way to tell the difference.
* If you had an oracle that could tell you how to get to the book you need, the navigation instructions to get to the book will be at least as long as the book, on average.
The Library of Babel made me aware that choosing/finding is not super distinct from making/creating. Or discovery and invention. In math, there is distinction between "there exists" and "we can construct", but "we can construct" is similar to "we can find".
I don't think they're equivalent. I think invention and creation aren't actually real. There is no "making" or "creating" when it comes to intellectual work.
All computer files are sequences of bits. All sequences of bits are integers. All integers already exist in the infinite set of natural numbers. I can even calculate how big those numbers are given their bit count.
We are merely discovering numbers through convoluted mental and technological processes. All our mental exertions result in the discovery of a number. This comment is a number.Yes, I mean exactly this type of insight. Basically taking a digital photo with a camera technically also just picks out the "address" of your current environment within the space of all images. Any 4K 2-hour-length feature film in a digital format is also just an address in the space of all possible videos. The director, the actors, the whole crew did all that work in order to select that point from the space of possibilities, they didn't "create" anything. That movie already existed.
Of course this is silly, but interesting nonetheless. And we routinely speak about such high-dimensional spaces in research and engineering. Or we can imagine optimization as traversing a pre-existing search space. It may be structured as a graph or perhaps a Euclidean space. And in that space we can imagine a loss surface, that sits there in peace all along, with its global minimum somewhere. And instead of "constructing" a solution, we are simply hiking in this space and trying to spot that valley. But this is a bit fictional. We never physically "instantiate" this surface. It's an imagined abstraction. In reality we just have a vector and some rules as to how we change that vector. But we can imagine those changes to be movements in an imagined space.
It's like the idea that the sculptor doesn't create the sculpture, the sculpture was there all along, he just had to remove the superfluous matter to reveal what was already there (i.e. the atoms belonging to the final sculpture).
The most interesting thing is kind of on the border, between these absurdly large spaces and the more manageable ones that are feasible to enumerate.
Another similar mindblow thing was when I forgot the password to a file that I encrypted. It's a fascinating thing that the bit pattern on the disk is functionally random now, and cracking it would take longer than the age of the universe. But if only I knew the password, it would only take just a second. There is a definite sequence of keystrokes I can execute to bring the universe in a state where the content will appear on my screen, it's so close, yet it's so-so far if you don't remember the password. Just a little difference in your brain state and it flips from trivial to hopeless.
PS, if you like thinking about such things, I recommend Meta-Math by Gregory Chaitin, it's very fun (providing an address VS constructing the thing is basically the gist of algorithmic information theory).
Yeah I agree with you.
> It's like the idea that the sculptor doesn't create the sculpture, the sculpture was there all along, he just had to remove the superfluous matter to reveal what was already there (i.e. the atoms belonging to the final sculpture).
I understand this argument but I have far more trouble applying this logic to real things. I'm not sure the same logic applies once the information is instantiated in the real world as a physical object. I haven't thought very deeply about it. I think the true sculpture exists only in the ideal world and the real world object is merely an approximation of it.
> Of course this is silly
It's an existential issue for me. At some point it became a political issue. I became a copyright abolitionist because of this insight. Copyright is logically reducible to monopolistic ownership of numbers. The sheer absurdity of it led me to reject the very idea of intellectual property as delusional nonsense.
Copyright is not "ownership of numbers". "Intellectual property" is a misnomer. Copyright is an instrumental tool to achieve specific socially desirable things, namely the flourishing of scientific and artistic activity. It's a relatively modern creation, born of enlightenment-style principles in the 18th century. If it were still used according to that spirit, we'd have less problems.
I'm close to you on that opinion, but there's another factor: Life and its sustenance. There's a lot of mechanisms in the body to ensure that life continues, including pain and desire. But the fact is resources that sustain life are finite. There's a lot of proxies for the act of acquiring such resources and laws like copyright is the legal framework for these proxies.
It's basically creating value out of nowhere in lieu of resources that are truly valuable, but inconvenient to trade directly. But then like a metrics that got corrupted (I forgot the name of the law for that), there are other that are trying to game the system (and succeeding) so that they can maximize their share.
I'm not sure the law has ever been concerned with logical reducibility. Context that can't easily been defined objectively has always been a part of legal systems, and arguably is a feature rather than a bug. Stuff like the "reasonable person" standard are intentionally flawed concepts that allow laws to exist without needing to define every possible permutation of human behavior up front. This obviously doesn't mean that you won't necessarily look at everything and decide to be an anarchist because of how convoluted it all is, but I don't think that being mathematically inconsistent is particularly unique to copyright in the legal system.
Exactly, it's a common failure mode for math/programming-minded people when encountering the law. But the law is not like a compiler, mechanically following some fully-specified set of rules.
The legal system is rather the spiritual successor of the original "system" where a wise Solomon-like elder would adjugate the issue based on their best judgment and intuition and customs, ideally seeking peace and social satisfaction and future harmony. Codified law channels this into some more pre-shaped form, but the fuel of the legal system is still the human judgment and common sense at the core. Often the law basically just prompts and nudges the judgment of the jurors or judge to a certain direction, but it can't account for all corner cases. The nerd mind asks ok ok but what if X, where do you draw the sharp line between X and Y? It doesn't matter. If it comes up, a court will decide it based on all available common sense and the implicit values of the culture.
In the cases where someone seemingly gets away with "rules-lawyering", then it's not purely their genius logic-brain that wins, but there is some kind of slanted playing field that's not really available to you. Of course the line between "annoying rules-lawyering based on literal interpretation of technicalities that obviously nobody intended to be interpreted so" and something that was not anticipated initially but does fit within the rules. This decision itself is based on judgment and intuition. In life, sometimes coming up with a "technically works" thing is rewarded and lauded (math proofs, pathological counterexamples, cracking an encryption library via side-channel attacks), other times you get an eye-roll and that's obviously cheating and wasn't meant (e.g. courts of law and fun at parties).
Reminds me of the DeCSS t-shirts from back in the day…
I admit thinking this way is tempting, but in your model the number represents some kind of language, whether human-readable or machine-readable. If we accept the number is a non-lossy encoding of some language, we reach an equivalency stating there is no creating, just discovering language "through convoluted mental and technological processes". But can we really equate language and knowledge? I believe Gödel proved that we cannot, in the sense that there is no "perfect" way to encode knowledge in a system of consistent axioms. Ergo, no matter how eloquently you describe your invention of "the wheel", it is by its nature incomplete and imperfect. Some part of the knowledge will always be tacit.
> Some part of the knowledge will always be tacit
See also https://en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achi...
This conflates mathematical existence with actual instantiation. A 2gb integer might be definable, but until someone encodes a particular arrangement of bits and gives it context, it doesn’t exist in any practical sense. We don’t treat all future novels as "already written" just because their ASCII codes can be mapped to integers.
I said all novels already exist. That's different from claiming all novels have already been written.
The claim is that humans are not "creators" but generators, very much in the random number generator sense. We are interesting number generators.
How to find a nice SHA1 hash? How do keyword search in this list? Search and discovery of quality are unsolved scientific challenges. Fascinating stuff.
At our university lab we've been working on this for 25 years. Building a search engine is the easy part. Keeping a federated server with a billion users running is unsolved. Creating a fully -serverless- decentralised search engine is possible, you also need self-funding economy. Seems we're one of the few labs worldwide to still make actual operational prototypes of this stuff. More shameless self promotion:
"SwarmSearch: Decentralized Search Engine with Self-Funding Economy" [0]
Really handy to have s search engine to search this webpage with 45,671,926,166,590,716,193,865,151,022,383,844,364,247,891,968 pages and the rest of the web (no spyware, no tracking).
[0] https://arxiv.org/abs/2505.07452
If you’re interested in mass market adoption rather than just proving the theory, you will need to change the name. “LimeWire” is fun. “SwarmSearch” sounds like a biblical plague.
I would say that that’s a valid _model_ we can use to describe creation, much like how maths is a model we use to describe the universe. However, whether maths IS the universe or creation IS discovery are more of a philosophical question, possibly an unanswerable one, that people will have many varying opinions on.
And that’s without me asking you to define “real”, which would be another rabbit hole.
Everyone is aware of this. Sites like this aren't created to be useful. They are created to be an amusement, a joke.
To your first bullet, I believe this is one of the central points of the original Borges story :)
I think Library of Babel by Borges is a static manifestation of Turing complete behaviour via the fact that some L-systems are Turing complete. or put another way. Where in the Library of Babel, does the real Hamlet reside? If we consider finding and replacing names with other names, is it still a Hamlet? And if we bring the full force of edit operations and do these in a reversible manner, then where does the actual Hamlet reside? An equivalence class of Hamlet?
> If you had an oracle that could tell you how to get to the book you need, the navigation instructions to get to the book will be at least as long as the book, on average.
This isn't quite true. Natural language text compresses extremely well and you would only need length equivalent to the compressed form, not the original form. And if you wanted to go further, you could use a mapping where extremely short strings map to known popular books and only unknown works have longer encodings.
I suppose this would work if the library was arranged such that comprehensible books were closer to the "origin". The workings of the "real" library of babel are supposed to be more inscrutable though.
But if I built one, it would totally work that way.
Another way of looking at it is that the library of Babel would be less useful than an equivalent quantity of blank paper. For example, you could use it to print books in English instead of gibberish. Multiple copies of those books, even.
I wonder if there is some way to create a latent-space Library of Babel in which you only find incoherent gibberish with extremely long keys, with the shortest ones pointing specifically to the most common/likely strings of text, in manageable computational complexity.
Reproducing the text of a book in the library is a synonym for identifying the book. So this is really called "text compression", which is a well-studied field.
In a library of all possible strings, this is just text compression (as the other comment observes). But in a finite library it gets even simpler, in a cool way! We can treat each text as a unique symbol and use an entropy encoding (eg Huffman) to assign length-optimized key to each based on likelihood (eg from an LLM). Building the library is something like O(n log n), which isn't terrible. But adding new texts would change the IDs for existing texts (which is annoying). There might be a good way to reserve space for future entries probabilistically? Out of my depth at this point!
That's arguably just a regular library :)
I am reminded of this SMBC comic
https://www.smbc-comics.com/comic/the-library-of-heaven
Thank you captain obvious.