I've heard it asserted that a Godel sentence, expressed in Peano arithmetic, would be long enough to fill a book. Sure, nobody would want to write such a book, but a computer could be programmed to do the job! Has anyone done this? Is there a Godel sentence on the web that I could include a link to in my next blog post? Thanks, Jim Propp