Exercise 17:

K    {p,qDom(φp)Dom(φq)2}K\;\leq\;\{ \langle p,q\rangle \mid |\mathtt{Dom}(\varphi_p)\cap\mathtt{Dom}(\varphi_q)|\geq 2 \}
Reduce KK to the set of pairs of natural numbers codifying programs such that the domains of the functions implemented by them share at least two elements (roughly, the set of pairs of programs implementing functions whose domains share at least two elements), 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.