Email-запись: Основания интуиционистской математики с точки зрения теории рекурсивных функций