Text this: Computability and unsolvability