Definability and Computability