Exercise 2:

K    {py:  Mp(y)}\overline{K}\;\leq\;\{ p \mid \forall y:\;M_p(y){\downarrow} \}
Reduce K\overline{K} to the set of natural numbers such that the program codified by them halts with any input (roughly, the set of programs that halt with any input), 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.