Exercise 1:

K    {py:  Mp(y)}K\;\leq\;\{ p \mid \exists y:\;M_p(y){\downarrow} \}
Reduce KK to the set of natural numbers codifying programs such that the program halts with some input (roughly, the set of programs that halt with some input), in order to prove that such set is undecidable (not recursive).
Authors: Carles Creus, Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.