Comment by ghayes

I like to think of the square root of x function:

    r such that r * r = x

That’s a specification that gives you no knowledge how to solve the problem. You can definitely have precise specifications that do not directly correlate to machine instructions.