Как струится поток доказательств

Книжку Стивена Кранца о доказательстве в математике первый раз я прочла уже давно, а недавно перечитала, чтобы освежить в памяти (по ссылке бесплатно доступен ее полный английский текст, а вот тут можно скачать и русский перевод). Помню, что тогда она мне очень понравилась, а сейчас, увы, показалась уже не такой интересной – может, просто потому, что сейчас там уже нет ничего для меня нового? Главных мыслей у Стивена две: (1) что доказательство как было, так и остается цементом, скрепляющим здание математики, и (2) что ее развитие неизбежно приводит к изменению того, что мы понимаем под доказательством. Снова и снова на протяжении книжки он повторяет: «Доказательство в математике – это психологический прием, служащий для того, чтобы убедить отдельного человека или целую аудиторию в истинности определенного математического утверждения. <…> Чтобы достичь этого эффекта, оно должно опираться на язык, подготовку и ценности «получателя» доказательства».

( Несравненной моей правоты )