Martin Davis on Computability Computational Logic and Mathematical Foundations