Разумеется, далеко не все абстракции, обобщения, специальные проблемы и аксиоматику можно отнести к чистой математике. О ценности такого рода работ и об исследованиях по основаниям математики мы уже говорили. Чтобы ответить на вопрос, с какой математикой — чистой или прикладной — мы имеем дело, необходимо выяснить мотивы исследования. Для чистой математики характерен полный отрыв от каких бы то ни было приложений, непосредственных или потенциальных. Дух чистой математики наиболее полно проявляется в ее непредвзятом отношении к проблемам: любая проблема есть проблема. Некоторые чистые математики ссылаются на то, что любое математическое исследование потенциально полезно, поскольку в будущем вполне может найти применение, которое трудно предвидеть заранее. Тема математического исследования — своего рода участок местности в районе, богатом залежами нефти. Темные лужи на поверхности земли свидетельствуют о целесообразности поискового бурения. Если из скважины пойдет нефть, то участок повышается в цене. После того как нефть на участке обнаружена, бурятся новые скважины в надежде, что и они дадут нефть, если места для бурения выбраны не слишком далеко от первой скважины. Разумеется, можно было бы заложить новую скважину и вдали от первой — там, где бурить легче, — и все же надеяться, что и из нее забьет фонтан нефти. Но силы и изобретательность человека не беспредельны, поэтому математикам приходится соразмерять затрачиваемые усилия со степенью риска. Как заметил один из создателей термодинамики и статистической физики Джозайя Уиллард Гиббс, чистый математик может делать все что ему вздумается, но математик-прикладник должен, по крайней мере отчасти, внимать здравому смыслу.
Критику чистой математики — математики ради математики — можно найти в сочинении Фрэнсиса Бэкона «О достоинстве и приумножении наук» (1620). Бэкон возражал против чистой, мистической и самодовольной математики, «полностью абстрагированной от материи и от физических аксиом» ([23], т. 1, с. 237), сетуя на то, что «таково уж свойство человеческого ума: не имея достаточно сил для решения важных проблем, он тратит себя на всякие пустяки» ([23], т. 1, с. 238). Значение прикладной математики Бэкон понимал следующим образом:
В природе существует много такого, что не может быть ни достаточно глубоко понято, ни достаточно убедительно доказано, ни достаточно умело и надежно использовано на практике без помощи и вмешательства математики. Это можно сказать о перспективе, музыке, астрономии, космографии, архитектуре, сооружении машин и некоторых других областях знания… По мере того как физика день ото дня будет приумножать свои достижения и выводить новые аксиомы, она будет во многих вопросах нуждаться все в большей помощи математики, и это приведет к созданию еще большего числа областей смешанной математики.
Во времена Бэкона математикам не нужно было напоминать о необходимости заниматься решением физических проблем. В наши дни математика отделилась от естествознания. За последние сто лет произошел раскол между теми, кто сохранил верность древним возвышенным мотивам математической деятельности, до сих пор питавшим математику глубокими и плодотворными темами исследований, и теми, кто плывет по воле ветра, изучая все, что подсказывает ему необузданное воображение. Ныне математика и естественные науки идут разными путями. Новые математические понятия вводятся без всякой попытки найти им приложения. Более того, математики и представители естественных наук перестали понимать друг друга, и нас вряд ли может утешить то, что вследствие чрезмерной специализации даже сами математики уже не понимают друг друга.
Отход от «реальности», занятия математикой ради самой математики с самого начала вызывали бурные споры. В своем классическом труде «Аналитическая теория тепла» (1822) Фурье с энтузиазмом повествует о математическом подходе к решению физических проблем: