If you were really interested in a superconcise, plain-English statement of the theorem, you'd look up Kurt Goedel in the Columbia Encyclopedia.
While you're probably right about people getting the wrong idea about the _end_ of Goedel's theorem from GEB, GEB is really more about illustrating the _process_ of Goedel's theorem. (Draw up this funky-looking theorem that proves theorems, load the theorem into itself, and what do you get?)
You get a better idea of what a car's purpose is from watching a Mercedes commercial than from watching a mechanic poke around the engine, but sometimes watching the mechanic is better if you want to see how it works.
Valid, but... (Score:2)
While you're probably right about people getting the wrong idea about the _end_ of Goedel's theorem from GEB, GEB is really more about illustrating the _process_ of Goedel's theorem. (Draw up this funky-looking theorem that proves theorems, load the theorem into itself, and what do you get?)
You get a better idea of what a car's purpose is from watching a Mercedes commercial than from watching a mechanic poke around the engine, but sometimes watching the mechanic is better if you want to see how it works.