Философия Науки. Хрестоматия

Только к концу XIX в. сложился стандарт требований к логической строгости, остающийся и до настоящего времени господствующим в практической работе математиков над развитием отдельных математических теорий. Этот стандарт основан на теоретико-множественной концепции строения любой математической теории. С этой точки зрения любая математическая теория имеет дело с одним или несколькими множествами объектов, связанных между собой некоторыми отношениями. Все формальные свойства этих объектов и отношений, необходимые для развития теории, фиксируются в виде аксиом, не затрагивающих конкретной природы самих объектов и отношений. Теория применима к любой системе объектов с отношениями, удовлетворяющей положенной в ее основу системе аксиом. В соответствии с этим теория может считаться логически строго построенной только в том случае, если при ее развитии не используется никаких конкретных, не упомянутых в аксиомах свойств изучаемых объектов и отношений между ними, а все новые объекты или отношения, вводимые по мере развития теории сверх упомянутых в аксиомах, формально определяются через эти последние.

Из указанных требований, в частности, вытекает, что математическая теория, применимая к какой-либо системе объектов, применима автоматачески и к любой «изоморфной» системе. Заметим по этому поводу, что кажущееся иногда весьма абстрактным понятие изоморфизма является просто математическим выражением идеи «моделирования» физических явлений из какой-нибудь одной области (например, тепловых) физическими явлениями иной природы (например, электрическими).

Изложенная концепция строения математической теории является по существу лишь некоторой конкретизацией определения математики как науки о количественных отношениях в разъясненном выше широком понимании термина «количественные отношения». «Безразличие» количественных отношений к конкретной природе тех предметов, которые они связывают, находит здесь свое выражение в возможности свободно переходить от одной системы объектов к любой, ей изоморфной.

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

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

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