Email-запись: Методологические проблемы интуиционистской математики