Hacker News Reader

Why are we not OK with the program producing the undecidability result?

Because it is not generally possible to determine that the result is undecidable, when maybe searching a little longer would find it.