Еще многое нужно выяснить о том, как мы интегрируемся с мыслительными процессами человеческих математиков, чтобы лучше уловить педагогические цели доказательств, а не только эпистемологические. Но я рад быть частью этого путешествия вместе с остальной командой @mathematics_inc.