Algorithms, data structures and computability