Citation

2 + 2 = 5 -> Error

Every time.

Got to thinking maybe you were still in school and hadn't covered determinism yet. Here is old school stack overflow answer that is short and clear.

The environment does matter. I think in your original objection, you were executing the code in different environments.

https://cs.stackexchange.com/questions/38152/what-is-determi...

And to the point of the original article. Each human interpreting natural language is a new environment. Each brain is a new compiler with different outcomes. Thus the ambiguity. Natural language isn't concrete enough to always have the same result when processed by different humans, or AI.

The top reply is already all you needed:

> the answer with many multi-threaded programs is often "no."

And, nobody would correct them? If a programs output is random, what use is it.

Isn't the original point, that natural language isn't sufficient for proofs? Aren't you agreeing now?