Finish the halving example in computability