Чтение онлайн

Я считаю первую часть этой последней фразы единственным нормативным элементом, и именно с этим связано принципиальное положение Пуанкаре. Это положение представляется абсурдным тем, кто воспринимает последнюю фразу как единое целое, не различая двух элементов, её составляющих. Оно кажется неизбежным тем, кто проводит такое различие.

Таким образом, мы находимся в ситуации, совершенно подобной той, которая возникает в связи с вопросом об употреблении слов в процессе мышления; перед нами две категории умов, из которых одна отрицает то, что кажется очевидным для другой, и каждая считает другую безрассудной и взирает на неё с сожалением.

Кант ввёл в философию понятие «априори» для обозначения того, что предшествует эксперименту и обусловливает его. Такая система априорных понятий лежит в основе всех тех идей, которыми мы обмениваемся между собой. Но надо, чтобы эти априорные понятия были общими для всех. Обычно так оно и бывает (без чего, очевидно, не существовало бы человеческого разума). Однако мы видим, что указанный принцип допускает по крайней мере одно исключение.

Приложение III[131]

А. Пуанкаре. Математическое творчество

Генезис математического творчества является проблемой, которая должна вызывать живейший интерес у психолога. Кажется, что в этом процессе человеческий ум меньше всего заимствует из внешнего мира и действует, или только кажется действующим, лишь сам по себе и сам над собой. Поэтому, изучая процесс математической мысли, мы можем надеяться постичь нечто самое существенное в человеческом сознании.

Это было понято уже давно, и несколько месяцев назад журнал «Математическое образование», издаваемый Лезаном и Фэром, опубликовал вопросник, касающийся умственных привычек и методов работы различных математиков. К тому моменту, когда были опубликованы результаты этого опроса, мой доклад был в основном уже подготовлен, так что я практически не мог ими воспользоваться. Отмечу лишь, что большинство ответов подтвердило мои заключения; я не говорю об единогласии, так как при всеобщем опросе на него и нельзя надеяться.

Первый факт, который должен нас удивлять, или, вернее, должен был бы удивлять, если бы к нему не привыкли, следующий: как получается, что существуют люди, не понимающие математики? Если математики используют лишь логические правила, которые принимаются всеми разумными людьми; если математика основана на принципах, которые являются общими для всех людей и которые никто, не будучи сумасшедшим, не станет отрицать, то как получается, что есть люди, совершенно не приемлющие математики?

Тот факт, что не все способны на открытие, не содержит ничего таинственного. Можно понять ещё и то, что не все могут запомнить доказательство, которое когда-то узнали. Но то обстоятельство, что не всякий человек может понять математическое рассуждение, когда ему его излагают, кажется совершенно удивительным. И тем не менее людей, которые лишь с большим трудом воспринимают эти рассуждения, большинство; это неоспоримо, и опыт учителя средней школы подтверждает это.

И далее, как возможна ошибка в математике? Нормальный разум не должен совершать логической ошибки, и тем не менее есть очень тонкие умы, которые не ошибутся в коротком рассуждении, подобном тем, с которыми ему приходится сталкиваться в обыденной жизни и которые не способны провести или повторить без ошибки более длинные математические доказательства, хотя в конечном счёте последние являются совокупностью маленьких рассуждений, совершенно аналогичных тем, которые эти люди проводят так легко. Нужно ли прибавить, что и сами хорошие математики не являются непогрешимыми?

Ответ, как мне кажется, напрашивается сам собой. Представим себе длинный ряд силлогизмов, у которых заключения первых служат посылками следующих; мы способны уловить каждый из этих силлогизмов и в переходах от посылки к рассуждению мы не рискуем ошибиться. Но иной раз проходит много времени между моментом, когда некоторое предложение мы встречаем в качестве заключения силлогизма, и моментом, когда мы вновь с ним встретимся в качестве посылки другого силлогизма, когда много звеньев в цепи рассуждений, и может случиться, что предложение забыто или, что более серьёзно, забыт его смысл. Таким образом, может случиться, что предложение заменяют другим, несколько от него отличным, или что его применяют в несколько ином смысле, и это приводит к ошибке.

Если математик должен воспользоваться некоторым правилом, естественно, он сначала его доказывает и в момент, когда это доказательство свежо в его памяти, он прекрасно понимает его смысл и пределы применения и поэтому не рискует его исказить. Но затем, доверяя своей памяти, он применяет его механически, и если память его подведёт, то правило может быть применено неверно. В качестве простого и почти вульгарного примера можно привести тот факт, что мы часто ошибаемся в вычислении, так как забыли таблицу умножения.

С этой точки зрения математические способности должны были бы сводиться к очень надёжной памяти или к безупречному вниманию. Это качество подобно способности игрока в вист запоминать сброшенные карты; или — на более высоком уровне — способности шахматиста, который должен рассмотреть большое число комбинаций и все их держать в памяти. Каждый хороший математик должен был бы быть одновременно хорошим шахматистом и обратно; точно так же он должен бы быть хорошим вычислителем. Действительно, так иногда случается и, например, Гаусс был одновременно гениальным геометром и рано проявившим себя очень хорошим вычислителем.

Но есть исключения, хотя я, пожалуй, не прав, называя это исключениями, так как иначе исключения оказались бы более многочисленными, чем правила. Напротив, это Гаусс был исключением. Что касается меня, то я вынужден признать свою совершенную неспособность выполнить сложение без ошибки. Я был бы также очень плохим шахматистом; я мог бы хорошо рассчитать, что, совершив такой-то ход, я подвергся бы такой-то опасности; я рассмотрел бы много других ходов, которые я отбросил бы по другим причинам, и кончил бы тем, что совершил бы рассмотренный ход, забыв между делом об опасности, которую я раньше предвидел.

Одним словом, у меня неплохая память, но она недостаточна, чтобы сделать меня хорошим шахматистом. Почему же она меня не подводит в трудном математическом рассуждении? Это, очевидно, потому, что она руководствуется общей линией рассуждения. Математическое рассуждение не есть простая совокупность силлогизмов; это силлогизмы, помещённые в определённом порядке, и порядок, в котором эти элементы расположены, гораздо более важен, чем сами элементы. Если я чувствую этот порядок, так что вижу всё рассуждение в целом, то мне не страшно забыть один из элементов: каждый из них встанет на место, которое ему приготовлено, причём без всякого усилия со стороны памяти. Когда я изучаю некоторое утверждение, мне кажется, что я мог бы сам его открыть, или, вернее, если это иллюзия и я недостаточно силён, чтобы открыть его, я переоткрываю его во время изучения.