3 ms·
> tooling would necessarily have either false positives or false negatives (those are the only options, unless "both" counts as another option). Getting stuck
by KMag 3y ago
> tooling would necessarily have either false positives or false negatives (those are the only options, unless "both" counts as another option).
Getting stuck in an infinite loop and never producing an answer is a 4th possibility for attempted solutions at deciding undecidable problems.
- tialaramex 3y agoGood point. Note that we can't necessarily tell it's an infinite loop, the constructive proof for this Undecidability reduces it to our old friend the Halting Problem, so we're in the land of the Busy Beaver.