Turing Computability and Leibniz Computability