> it would be way too big and we don’t have all mathematical knowledge written down in one place anyway.

Yet somehow Google managed to index the Internet.

And the human genome is indexed.