Очередной (пятый) тематический том трудов Московского семинара по философии математики посвящен осмыслению математического доказательства, одной из центральных и бурно обсуждаемых в современной философии математики тем. Книга может представлять интерес для философов и историков математики, а также для философов, логиков, математиков, психологов, преподавателей, ведущих аспирантский курс по истории и философии науки, аспирантов и студентов математических и естественно-научных специальностей.
Ocherednoj (pjatyj) tematicheskij tom trudov Moskovskogo seminara po filosofii matematiki posvjaschen osmysleniju matematicheskogo dokazatelstva, odnoj iz tsentralnykh i burno obsuzhdaemykh v sovremennoj filosofii matematiki tem. Kniga mozhet predstavljat interes dlja filosofov i istorikov matematiki, a takzhe dlja filosofov, logikov, matematikov, psikhologov, prepodavatelej, veduschikh aspirantskij kurs po istorii i filosofii nauki, aspirantov i studentov matematicheskikh i estestvenno-nauchnykh spetsialnostej.