Algorithms and Coputability