(Solved) : 34 Section 13 Showed Undecidable Program Output True Program Phalts Input X Outputs False Q44132168 . . .
34. i. In Section 1.3 we showed that He is undecidable, that is there is no program that for all can output TRUE if program Phalts on input x and outputs FALSE if program P, does not halt on input z. Now show that H(x, 2.r) is undecidable, i.e. show there is no program that for all u can output TRUE if program Phalts on input 2x and outputs False if program P. does not halt on input 2.r. Hint: You will want to build a program E (analogous to D for the solution shown in Sec- tion 1.3), but what matters particularly is the action of E on even valued inputs. Show transcribed image text 34. i. In Section 1.3 we showed that He is undecidable, that is there is no program that for all can output TRUE if program Phalts on input x and outputs FALSE if program P, does not halt on input z. Now show that H(x, 2.r) is undecidable, i.e. show there is no program that for all u can output TRUE if program Phalts on input 2x and outputs False if program P. does not halt on input 2.r. Hint: You will want to build a program E (analogous to D for the solution shown in Sec- tion 1.3), but what matters particularly is the action of E on even valued inputs.
Expert Answer
Answer to 34. i. In Section 1.3 we showed that He is undecidable, that is there is no program that for all can output TRUE if prog…
OR