4 ms·
Is the distinction roughly "causally determined" vs "logically determined" ? If we are talking about an abstract computing device, and whether it is determinis
by drdeca 10y ago
Is the distinction roughly "causally determined" vs "logically determined" ?
If we are talking about an abstract computing device, and whether it is deterministic, we mean whether its next state is always uniquely logically determined by the current state, correct?
Hmm, if an abstract machine behaves in a way that is uniquely logically determined, but which is not computable, do we consider such machines to be deterministic? I would think so, but I am not sure. We would be unable to predict it, does that make it not deterministic(computing) ?