> Programming languages solve the specification problem, (which happens to be equivalent to "The Control Problem"). Not equivalent, for several reasons. An obv

> Programming languages solve the specification problem, (which happens to be equivalent to "The Control Problem"). Not equivalent, for several reasons. An obvious one is simply that even providing a perfect specification in fact does nothing to solve the control problem, because you still have to enforce following of the specification. It's similar to the human version of the control problem: we can write comprehensive and copious laws, but that doesn't automatically prevent humans from breaking them. Besides that, the control problem is inherently subjective. The difficulty of breaking it down into an exhaustive list of deterministic rules is a big part of the problem, which programming languages do nothing to solve.