Monday, February 09, 2004

Theorem prover

Once you acknowledge the ridiculous basis for management decisions, a neutral place to start dealing with hierarchical reality is to check the rationale for choice to compliance with formal logic. Johnson's gig is a member of the theorem prover set. It's a direct application to management decision-making. If the logic is fallacious, why quibble over the shards? Governance could insist significant choices go through the impartial logic checker. None would pass. The more it is hated by senior management, the more certain it is governance by whimsy. When you do a dynamic simulation with a modular toolbox, if the data set is irrational, the bloody software stalls in place. In effect, these engineering workstations are theorem provers. Trevor Hilder couldn't automate governance any other way. Johnson's got the rep with NASA.