SMS: ЭВМ и математика. Гносеологические и методологические проблемы