Re:Five Kinds of Nondeterminism
by saltlyfe on Friday February 21, 2025 @11:35PM
(#43136146)
In formal methods, a subfield of computer science, we'd typically use the definition of non-determinism that is widely used within our own field. For example, see: https://cstheory.stackexchange.com/questions/632/what-is-the...
[ Parent
| on HN ]
I don't think that link contracts anything. It just says that probability is a subset of ND but not vice versa. Which is true. But this is not the same as saying probability is not ND. Maybe I'm missing something...