Sun Apr 29 2001 11:21:
I've decided it might be a good idea to keep track of layman's explanations of the First and Second Incompleteness Theorems. Here's a start. It seems like a textbook example of needless duplication of information, though as far as I know the relevant textbook has yet to be written.