Beware the superficially profound. :)

Disclaimer: I am not a mathematician so what follows is more in the line of philosophy. And I may have completely missed the point.

It occurred to me recently that computer systems, and in particular the software components, are in essence mathematical systems* and that Godel's Incompleteness Theorems may well apply.

ie: Every computer system has to have a fundamental assumption that is unprovable, and may well be unchangeable without a total re-write..

From a Business Analysis perspective this is yet another reminder to make your assumptions explicit otherwise a hidden axiom of the system may well bite you down the track.

Oh, and in the unlikely event of anyone being interested I've added a business analysis tag to classify my ramblings on related topics. :)