Text this: The Foundations of Computability Theory