 Recursion theorists are also trying to understand the role that infinitary principles or compactness arguments play in our determination of results about the finite. And proof theorists would like to know when certain infinitistic theories can be justified through finitary means. Obviously, a more precise description of these developments goes well beyond the technical knowledge that we can presuppose here.