undecidable problems of significance 2601695