SU-CS154 Week 6 Rice’s Theorem, Oracle Reduction, Self-Reference and the Recursion Theoremmathematics