Text this: Mathematical logic and computability