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