That's only one possible interpretation of computing. The field of semiotics applied to programming has interesting uses where a program needs not be unambiguou

That's only one possible interpretation of computing. The field of semiotics applied to programming has interesting uses where a program needs not be unambiguous to be useful. It's true that the underlying hardware platform will necessarily work as a deterministic sequence of steps executing a small set of primitives - but building that sequence by hand in an unambiguous language is not necessarily the only way to control the hardware; learning methods and evolutive processes, vaguely directed from high-level goals stated in an ambiguous model, is a possible alternative to the current industrial paradigm and might become common in the future.