[s-zeng]

I think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problem