Hacker News Reader

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?