Открывая строгие страницы учебника или научной статьи по математике, мы видим идеальную картину: определения, леммы, теоремы и доказательства выстроены в безупречную логическую цепь. Каждое утверждение следует из предыдущего, не оставляя места для сомнений. Однако эта впечатляющая структура не имеет почти ничего общего с тем, как в действительности рождаются математические идеи в голове человека. Настоящий процесс обдумывания задачи больше похож на случайные блуждание, чем на движение по прямой. Сначала возникают смутные идеи и ассоциации. Математик не начинает с формального определения. Он рассматривает частные случаи, рисует картинки, строит аналогии, часто из совсем других областей. Прежде чем доказывать общее утверждение, мы всегда проверяем его на простейших примерах. Потом мы ищем контрпример. В рамках этого процесса проб и ошибок может родиться гипотеза, которая в конечном итоге окажется верной. Но в реальном исследовании (даже если вы познаете то, что известно многим, но не лично вам) вы с крайне малой вероятностью с первой попытки сможете сформулировать верную гипотезу. Реальное мышление состоит из десятков ошибочных предположений и тупиковых ветвей. Можно потратить много времени, пытаясь доказать что-то неверное, и только осознание тупика заставляет сменить парадигму и пытаться искать решение в другой плоскости. В учебнике же доказательство полностью вычищено; почти никогда не даются упоминания о том, почему другие подходы не работают. Часто мы интуитивно чувствуем или просто хотим, чтобы утверждение было верным. И тогда бывает полезно начать рассуждать с конца: что должно быть истинно, чтобы наша предположение оказалось верным? Этот «обратный ход» мысли — мощный инструмент, который в чистовом варианте доказательства тщательно «переупаковывается» в последовательность рассуждений с «прямым ходом». К сожалению или к счастью, такие «недомолвки» являются не злым умыслом, а следствием по крайней мере двух важных принципов: 1) Принцип экономии и ясности. Окончательный текст подобен итоговому отчету. Его цель — максимально убедительно, экономно и недвусмысленно передать суть. Читателю (и особенно студенту) не нужно блуждать по всем тем лабиринтам, через которые прошел автор. Ему нужно увидеть кратчайший и самый надежный (но, вероятно, не самый полный) путь к пониманию. 2) Принцип ригоризма. Математика требует абсолютной строгости. Окончательный текст скрывает все «человеческое» — сомнения, интуицию, ошибки — чтобы представить только безупречную аргументацию. На мой взгляд, понимание этого разрыва между процессом и результатом — ключ к более глубокому пониманию математики. «Настоящий» процесс занятия математикой на самом деле во многом творческий и беспорядочный.