3 ms·
Because it is not generally possible to determine that the result is undecidable, when maybe searching a little longer would find it.
by cpitman 3y ago
Because it is not generally possible to determine that the result is undecidable, when maybe searching a little longer would find it.