>Yes, but the machine itself is deterministic and logically sound.

Because arithmetic itself, by definition, is.

Human language is not. Which is why being able to talk to our computers in natural language (and have them understand us and talk back) now is nothing short of science fiction come true.