Відправити по sms: Towards a philosophy of real mathematics