Психология процесса изобретения в математике

Но последующие рассуждения привели меня к другой концепции. Действительно, опыты Бинэ или Двельшауверса не соответствуют тому случаю, который мы рассматриваем: они касаются контролируемой, но не концентрированной мысли. Двум девочкам ставят вопросы типа: «Что вам приходит в голову, когда вы думаете о том, что делали вчера?» Наиболее трудный вопрос, который я видел в книге Бинэ, был следующим: «Подумайте, что бы вы предпочли делать, если бы могли остаться на три часа одна и совершенно свободной в своих действиях?»

Личные наблюдения

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

Я утверждаю, что слова полностью отсутствуют в моём уме, когда я действительно думаю, и что я полностью отождествил бы свой случай и случай Гальтона в том смысле, что когда я услышу или прочитаю вопрос, все слова исчезают точно в тот момент, когда я начинаю думать; слова появляются в моём сознании 73 только после того, как я окончу или заброшу исследование, точно так же, как и у Гальтона, и я полностью согласен с Шопенгауэром, когда он пишет: «Мысли умирают в тот момент, когда они воплощаются в слова».

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

Пример такого типа известен в истории науки, он был дан Эйлером, чтобы объяснить шведской 74 принцессе свойства силлогизмов. Эйлер представляет общие идеи кругами; если мы должны думать о двух категориях вещей A и B так, что каждая вещь A есть B , мы представляем себе круг A внутри круга B . Если, напротив, никакой элемент A не B , мы представляем себе круг A целиком вне круга B ; если же, наконец, лишь некоторые элементы A суть B , то два круга должны пересекаться.

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

Чтобы рассмотреть несколько менее тривиальный случай, возьмём элементарное и хорошо известное доказательство теоремы: «Последовательность простых чисел не ограничена». Я повторю последовательные этапы классического доказательства этой теоремы, записывая рядом с каждым из них соответствующий образ, возникающий в моём мозгу. Например, нам нужно доказать, что существует простое число, большее 11:

Какая может быть польза от такого странного и неопределённого представления? Оно, конечно, не используется здесь для того, чтобы напомнить мне какое-нибудь свойство делимости, так как всякая информация, данная таким образом, могла бы оказаться неточной и сбить меня с пути. Этот механизм удовлетворяет, таким образом, условию б), поставленному выше. Наоборот, это условие лишь частично выполняется при гипотезе Бинэ: уточнять бессознательные идеи всегда связано с риском их исказить.

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