SMS versenden: Popular lectures on mathematical logic