Algorithms, Data Structures and Computability