SMS versenden: Mathematical logic and computability/