Exercise 5:

K    {py:  Mp(y)=y}\overline{K}\;\leq\;\{ p \mid \forall y:\;M_p(y)=y \}
Reduce K\overline{K} to the set of natural numbers such that the program codified by them computes the identity function (roughly, the set of programs that compute the identity function), in order to prove that such set is not semi-decidable (not recursively enumerable).
Authors: Carles Creus, Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.