Text this: Computability, enumerability, unsolvability :