Mathematics in the Library of Babel