Getting Smart With: Computability Theory