> Yeah, and if you re-run the same program with the same bug, it will fail the same way each time.
[Citation needed]
[Citation needed]
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 answer with many multi-threaded programs is often "no."
Isn't the original point, that natural language isn't sufficient for proofs? Aren't you agreeing now?
2 + 2 = 5 -> Error
Every time.