またもや重箱の隅をつついて遊ぶ探究ではありますが、p.54 補題4.15で『 AがREならば [tex:\forall y が再帰的でないことの証明(ほとんどRiceの定理の証明)： 再帰的であると仮定して、その特性関数をとする。 また と定義すると は(定理4.19)をREとして特徴…