Очередной (пятый) тематический том трудов Московского семинара по философии математики посвящен осмыслению математического доказательства, одной из центральных и бурно обсуждаемых в современной философии математики тем.
Книга может представлять интерес для философов и историков математики, а также для философов, логиков, математиков, психологов, преподавателей, ведущих аспирантский курс по истории и философии науки, аспирантов и студентов математических и естественно-научных специальностей.