ParentFull threadcpitman·Because it is not generally possible to determine that the result is undecidable, when maybe searching a little longer would find it.View on HN