Babel orders

In his short story The Library of Babel , Jorge Luis Borges writes of a vast library. It contains every possible book with precisely 410 pages each with 40 lines of 80 symbols from a list of 25 letters and punctuation.

This is a staggering number of books: 2 5 1312000 \large 25^{1312000}

Now suppose they needed to be reordered (don't ask how), in how many orders could the librarian arrange them?

Don't enter the number of possible orders.

Don't enter the number of digits in the number of orders.

Enter the number of digits of the number of digits of the number of orders.


The answer is 1834104.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Jeremy Galvagni
Aug 15, 2018

Relevant wiki: Stirling's Formula

The number we seek is log ( log ( ( 2 5 1312000 ! ) ) \large \log(\log((25^{1312000}!))

We need to make use of Stirling's Approximation and since the number is so huge, any of the approximations will work. I will use n ! 2 π n ( n e ) n n! \sim \sqrt{2\pi n}(\frac{n}{e})^{n} because it doesn't involve logarithms and I plan to use common (base 10) logs.

First rewrite 2 5 1312000 25^{1312000} as 1 0 log 25 1312000 = 1 0 1834097.291 10^{\log{25}\cdot 1312000} = 10^{1834097.291} and just call this exponent A A

The number of orderings is 2 π 1 0 A ( 1 0 A e ) 1 0 A = 2 π 1 0 A 2 ( 1 0 A log e ) 1 0 A \sqrt{2 \pi 10^{A}}(\frac{10^{A}}{e})^{10^{A}} = \sqrt{2\pi}\cdot 10^{\frac{A}{2}}(10^{A-\log{e}})^{10^{A}}

Taking the first common logarithm and separating by the product and power rules results in

log 2 π + A 2 + 1 0 A ( A log e ) \log{\sqrt{2\pi}}+\frac{A}{2}+10^{A}(A-\log{e})

It's not possible to take the logarithm of this sum very easily, but note the first term is minuscule and even the second is tiny compared to the third. They can be ignored. Even the log e \log{e} can be ignored because it is also tiny compared to A A . The second logarithm gives the answer.

A + log A 1834103.555 A+\log{A} \approx 1834103.555 which means the number we seek is 1834104 1834104

The story The LIbrary of Babel is a fascinating concept, the idea of a "total library", thanks for bringing to my attention. In theory, "all information is there", but being able to distinguish between useful and useless information itself becomes an information gathering task---which requires getting another library! And unless that additional library is not yet another total library, that becomes useless as well. Hmm...

Michael Mendrin - 2 years, 9 months ago

Log in to reply

There are so many books that there can't even be a book that can serve as an index. The index could span many many volumes, but there would be many many more volumes containing false indices. Of course, the vast majority of the books are complete gibberish.

Jeremy Galvagni - 2 years, 9 months ago

Log in to reply

It's been said that in the infinite decimal expansion of π \pi all of Shakespeare's works can be found. But is it really meaningful to say that there's "inexhaustible information" in that decimal expansion? Without selection, there is really no "information". In creating his works, Shakespeare chose a very few of all books he could have theoretically written, and it's by his choice that he has become famous. So, any index that would at least point out useful books is itself a much more valuable source of information that the total library. Indeed, just listing the addresses of such useful books is the virtually the same as writing such useful books.

Michael Mendrin - 2 years, 9 months ago

Log in to reply

@Michael Mendrin There's problems with that infinity though. How will you find the part you want? The Bible might repeat itself three times before the beginning of Romeo and Juliette.

In the Library, you could have a shelving system and the books arranged in some order. Book 1: all spaces. Book 2: 1311999 spaces with the letter a a at the bottom of the last page, ... Book {something}: "two households, both alike in dignity, in fair brilliantania..." close enough...

Jeremy Galvagni - 2 years, 9 months ago

Log in to reply

@Jeremy Galvagni ...close enough, now where's the book with fair Verona in it?

If every single book in the total library has an unique address that may or may not be included in some marvelous "index of useful books", then the contents of any book is that book's unique address. If there are 2 5 1312000 25^{1312000} books in the library, then that means there are 2 5 1312000 25^{1312000} addresses from which the index can selectively include. So, how can this be economized?

Any such "index of useful books" is already itself a library of books it has deemed to be useful. In other words, a conventional library.

Michael Mendrin - 2 years, 9 months ago
David Vreken
Aug 16, 2018

The number of books can reordered in 2 5 1312000 ! 25^{1312000}! ways.

For very large n n , Stirling's approximation is ln n ! n ln n n \ln n! \approx n \ln n - n . Using the change of base formula ln x = log x log e \ln x = \frac{\log x}{\log e} , the equation converts to log n ! log e n log n log e n \frac{\log n!}{\log e} \approx n \frac{\log n}{\log e} - n or log n ! n ( log n log e ) \log n! \approx n(\log n - \log e) . This means the approximate number of digits in n ! n! is n ( log n log e ) n(\log n - \log e) , and the number of digits of the number of digits in n ! n! is log ( n ( log n log e ) ) \lceil \log (n(\log n - \log e)) \rceil = log n + log ( log n log e ) \lceil \log n + \log (\log n - \log e) \rceil .

Therefore, the number of digits of the number of digits in 2 5 1312000 ! 25^{1312000}! is log 2 5 1312000 + log ( log 2 5 1312000 log e ) \lceil \log 25^{1312000} + \log (\log 25^{1312000} - \log e) \rceil = = 1312000 log 25 + log ( 1312000 log 25 log e ) = 1834104 \lceil 1312000 \log 25 + \log (1312000 \log 25 - \log e) \rceil = \boxed{1834104} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...