【5分题】
假设我们有一个函数HALTS,当应用于任何任意函数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终止
湾使用(一)证明(由矛盾),这是不可能有像HALTS一个函数,任意功能和输入说,它是否会终止该输入与否。回答:
解释:
这个问题的测验