Tekstiviesti: Computability and unsolvability