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