Αποστολή με SMS: Logical Foundations of Mathematics and Computational Complexity