Correctness can also be guaranteed by non-deterministic systems [0]. You do trade time predictability though. It will eventually give the correct answer, we just dont know when.

I keep thinking about the implications of this. So in some sense it's less about being inaccurate and more about prematurely stopping (or not having a well defined target, but that's a whole other mess).

In theory, if the target is well defined and it never prematurely stops, the question changes from "will the output be correct" to "when will it be done?"

[0] https://en.wikipedia.org/wiki/Las_Vegas_algorithm