Αποστολή με SMS: Mathesis Universalis, Computability and Proof