Математика. Утрата определенности.

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

([68], с. 245; [11]*.)

За страсть к специализации математика платит бесплодием. Способствуя виртуозности, специализация редко приводит к значительным результатам.

Абстракция, обобщение и специализация — три направления деятельности, избираемых чистыми математиками. Четвертое направление — аксиоматизация.

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

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

В первые десятилетия XX в. на аксиоматику тратилось столько времени и труда, что в 1935 г. Герман Вейль, полностью сознавая ценность аксиоматизации, посетовал на оскудение ее плодов и призвал математиков вновь заняться содержательными проблемами. По мнению Вейля, аксиоматика лишь придает содержательной математике точность и организует ее. Аксиоматика выполняет функцию каталогизации или классификации.