ͷίʔυͰɺ͔͠ M(x) ͕ਖ਼ৗऴྃ͢Δͱ͖) 0 (ͦͷଞͷͱ͖) f(p, x) = ( comp(p, x) (halt?(p, x) = 1) 0 (halt?(p, x) = 0) halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠ M(x) ͕ਖ਼ 0 (ͦͷଞͷͱ͖) ূ໌ུ֓ ɹɹɹɹɹ͕ܭࢉՄೳͩͱ͢ΔͱɺҎԼͷΑ͏ͳؔG͕ߏՄೳͰ͋Δɻ͔͠͠ɺ͜Εɺɹɹɹɹɹɹ γϡϛϨʔτՄೳͰ͋Δ͜ͱʹଞͳΒͳ͍ͷͰɺໃ६͢Δɻ halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠ M(x) ͕ਖ਼ৗऴྃ͢Δͱ͖) 0 (ͦͷଞͷͱ͖) t comp(p, x) લఏ ɹɹɹɹɹҙͷνϡʔϦϯάϚγϯʹରͯ͠ܭࢉՄೳ ఆཧ ɹɹɹɹɹɹܭࢉෆՄೳ ఆཧ ɹɹɹ comp(p, x) t comp(p, x)