Show that there is no computable function f(x) such that f(x) = (x, x) + 1 whenever (x, x)

Exercise 8, Page 85 of the book: Computability,Complexity, and Languages by Davis, Sigal, Weyuker

85 5. The Parameter Theorem 7. Let A B be sets. Prove or disprove (a) If A u B is r e., then A and B are both re. (b) If A g B an B is r e., en A is r.e. Show that there is no computable function f(x) such that f(x) $(x,x) 1 whenever $(x,x) 85 5. The Parameter Theorem 7. Let A B be sets. Prove or disprove (a) If A u B is r e., then A and B are both re. (b) If A g B an B is r e., en A is r.e. Show that there is no computable function f(x) such that f(x) $(x,x) 1 whenever $(x,x)