1. Prove, using a reduction argument such as given in Section 17.3.2, that the problem of determining whether an arbitrary program computes a specified function is unsolvable.
2. Consider a program named COMP that takes two strings as input. It returns TRUE if the strings are the same. It returns FALSE if the strings are different. Why doesn't the argument that we used to prove that a program to solve the halting problem does not exist work to prove that COMP does not exist?