Am I the only person here who wants one of those unemployment capes?!

I couldn't find a single one for sale on eBay. [sad face]

For sure. I mean, we'd have to rearchitect all our building plans for wooden-frame houses which currently utilize 2-by-4s.

Oh wait, 2-by-4s are actually 1 1/2 inches by 3 1/2 inches. http://en.wikipedia.org/wiki/Lumber#Dimensional_lumber

Oh man, I can remember loving the design of the Beechcraft Starship as a child enamored by airplanes in general! [sentimental teardrop]

I understand the computer theory behind your comment. However, I don't see what this has to do with the task of improving code quality. Do I need to prove whether a program halts to be able to suggest improvements through static analysis?

Static analysis tools are one part of the complex software development process. I wouldn't be so quick to throw them out completely because of something a very smart computer scientist once said!