Question:2.1.2.43 Exercise. Prove that x. floor(log(2,x) E PR(primitive
recursive). Remove the undefinedness at x = 0...
Question
2.1.2.43 Exercise. Prove that x. floor(log(2,x) E PR(primitive
recursive). Remove the undefinedness at x = 0...
2.1.2.43 Exercise. Prove that x. floor(log(2,x) E PR(primitive
recursive). Remove the undefinedness at x = 0 in some convenient
manner. For example, arrange that log,0) = 0