Семинар «Конструктивное знание», тема «Формальные доказательства и человеческое понимание»