Halting Problem reduction
Nick none
Sunday, 27 September 2009 00:57 UTC
Hi, I would like some help in order to prove that the problem below is unsolvable with a reduction from Halting Problem and without the usage of Rice’s theorem.
{ x | for every y, f_x (y) = 4y + 2 }
-
Replies
