That syntax has a semantics -- or, if you prefer, that all useful algorithms have operations which require devices Computer science is not constructive mathema

That syntax has a semantics -- or, if you prefer, that all useful algorithms have operations which require devices Computer science is not constructive mathematics -- it is not mathematics at all, since `f(x)` means the spatio-temproral state `x` is operated upon by the IO/device action `f`