Text this: The theory of computability :