Zaslat SMS: Методологические проблемы интуиционистской математики