  In my book "Algorithmic Information Theory" I explain how I constructed a
million-character equation that proves that there is randomness in arithmetic.
My book only includes a few pages from the monster equation, and omits the
software used to construct it. This software has now been rewritten in
Mathematica. The Mathematica software for my book, and its input, are here in
their entirety. The Mathematica code is remarkably compact, but it sometimes is
slow. So one C program plus equipment for automatically generating another is
also included in this software package.
