Изменчивая природа математического доказательства. Доказать нельзя поверить

Начало книги

В соответствии со ст. 1299 и 1301 ГК РФ при устранении ограничений, установленных техническими средствами защиты авторских прав, правообладатель вправе требовать от нарушителя возмещения убытков или выплаты компенсации

Название этой книги не совсем уж легкомысленное[1]. Я так и слышу упреки, что правильно говорить «The proof of the pudding is in the eating», что нет никакого смысла во фразе «The proof is in the pudding». Однако так все говорят, и совершенно ясно, что при этом имеют в виду. Так же и с математическим доказательством. Доказательство в математике — психологический инструмент, предназначенный для убеждения некоего лица или аудитории в том, что некоторое математическое утверждение истинно. Структуру и язык для построения такого доказательства выбирает его автор, но оно должно быть скроено по меркам той аудитории, которая будет его воспринимать и оценивать. Поэтому не бывает «единственного» или «правильного», или «наилучшего» доказательства какого бы то ни было результата. Доказательство — часть ситуациональной этики: ситуации меняются, математические ценности и стандарты развиваются и эволюционируют, и именно таким изменчивым путем математика меняется и растет.

Читать дальше →