Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.