2018-10-18 ストレンジな関数/述語 Mx 2018 論理 用語法 function strange-func(x:Func1Code):Void := if (halt(x, x)) then forever() else done() ; predicate strange-pred(x:Pred1Code) := ¬provable(x, x)Godはゲーデル符号化だとして、次の述語を考える。 halt(God(strange-func), God(strange-func)) : Bool provable(God(strange-pred), God(strange-pred)) : Bool