[5分问题]
假设我们有一个函数HALTS，当将函数F终止于任意函数f时，如果函数f对于这些参数终止，则其参数将为TRUE，否则为FALSE。示例，给定以下函数定义。
FACTORIAL (N) = IF(N=0) THEN 1 ELSE N*FACTORIAL (N-1)
Then HALTS(FACTORIAL 4)= TRUE and HATS(FACTORIAL -5)=FLASE
Let us define the function FUNNY(f) = IF HALTS(ff) THEN not(ff) ELSE TRUE
一种。表明FUNNY终止所有的函数f
b。使用(a)证明(矛盾)不可能有像HALTS这样的函数，该函数对于任意函数和输入都表明它将终止于该输入。回答：
解释：
这个问题的测验