3 ms·I think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problemby s-zeng 3y agoI think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problem