С другой стороны, я замечал, что при активном занятии математикой первая мысль после сна, появлявшаяся в моей голове, являлась продолжением той, с которой я засыпал. Точно так же не ясно, как возникают образы сновидений. Таким образом, нельзя утверждать, что каждый предмет мышления возникает в результате внешнего воздействия.
Я думаю, однако, что внезапно возникшее, по мнению Пуанкаре, в его уме представление о совпадении групп автоморфных преобразований и групп преобразований плоскости Лобачевского в действительности появилось не внезапно, а было вызвано цепочкой ассоциаций, исходным пунктом которой было внешнее впечатление, быть может, ручка омнибуса, за которую он держался, сходя со ступенек, или те же самые ступеньки. Какова была цепочка, ведущая от них или ручки к группам, сказать невозможно, но думаю, что она была.
К роли подсознательного мышления относится и вопрос о том, что такое математическая интуиция. Под ней обычно понимают способность человека прозревать истину или правильный путь решения задачи. Я же думаю, что интуиция представляет собой в какой-то степени автоматизированный опыт мышления, накопленный в результате большой деятельности. Некоторые отдалённо связанные между собой математические представления уже настолько хорошо проассоциированы в голове человека между собой, что переход от одного к другому не требует цепочки коротеньких ассоциаций, а совершается одним скачком. Возможность такого скачка является результатом опыта математического мышления. Большой труд, приводящий в результате к созданию множества ассоциаций, — вот основа математического творчества.
Занимаясь, математик не совершает сложного пути мелких ассоциаций, а сразу делает как бы «прыжки» от одного представления к другому, которое связано у него ассоциациями, вызывая одно другое. По себе я знаю, что, обладая довольно умеренной памятью, нужной для таких вещей, как, например, запоминание стихов, изучение иностранных языков, я обладаю исключительно хорошей ассоциативной памятью, которая даёт мне возможность заниматься математикой. Я иногда использую свою ассоциативную память там, где нужна какая-то другая память, создавая искусственные ассоциации. Так, например, в детстве немецкое слово «brücke» — «мост» я ассоциировал с представлением о брюках, повешенных над рекой. И эта ассоциация действует до сих пор. Соответствующее слово «bridge» английского языка, который я знаю гораздо лучше немецкого, и теперь даётся мне гораздо хуже, чем немецкое «brücke».
В своей научной работе я пришёл от задачи гомотопической классификации отображения сферы размерности n+k на сферу размерности n к проблеме изучения оснащённых гладких многообразий размерности k, расположенных в (n+k)-мерном евклидовом пространстве. Последовательные этапы установления этой связи были описаны мною выше.
Сперва я пришёл к локализации задачи. От локальной задачи пришёл к дифференциальному её описанию, а затем уже к гладкому многообразию размерности k, расположенному в (n+k)-мерном евклидовом пространстве, и к полю ортонормальных систем векторов, заданному в каждой точке этого многообразия. В этом построении ясно видны промежуточные этапы, каждый из которых дался мне не без труда, причём при построении их я руководствовался разного рода ассоциациями и привычными уже для меня представлениями. Наметив несколько промежуточных этапов, которые здесь описаны, я доказал, что гомотопическая классификация отображения (n+k)-мерной сферы на n-мерную сферу эквивалентна некоторого рода классификации оснащённых многообразий. Следующий этап — переход от оснащённых многообразий к характеристическим циклам многообразий M>k — уже не приводит к эквивалентности математических утверждений, а лишь намечает путь, на котором можно изучать оснащённые многообразия. Это предположительный путь, который иногда даёт результаты. Оказалось, однако, и это типично для математического исследования, что характеристические циклы имеют гораздо более широкие применения, чем изучение оснащённых многообразий.
