В Англии главным постулационистом был, вероятно, Уайтхед, но он соединял с чистым постулационизмом представление о том, что изучаемые математикой объекты сами представляют собой некоторые логические конструкции, а не просто какие-то величины, описываемые совокупностью постулатов. Например, точки он иногда рассматривал как совокупность всех тех выпуклых фигур, про которые обычно говорят, что они содержат данную точку. Любопытно отметить, что аналогичные идеи независимо высказывал и Хантингтон и что важное исследование в этом направлении еще на несколько лет раньше было выполнено философом Джосайей Ройсом[26]. Но классическим примером конструкционализма в математике остается определение целых чисел, данное Уайтхедом и Расселом в «Принципах математики».
Различие между постулационистской трактовкой чисел и конструкционалистской трактовкой, предложенной Уайтхедом и Расселом, заключается в следующем. Для постулациониста числа являются некоторыми неопределяемыми объектами, связанными совокупностью принятых формальных отношений, или предметами особого рода, строящимися на основе нашего опыта при помощи определенных правил комбинирования данных более простых исходных опытов. При постулационистской трактовке числа являются просто объектами, связанными отношениями «перед» и «после» так, что если a находится перед b, а b перед c, то a будет находиться перед c, и что для каждого числа, отличного от нуля, существует число, находящееся непосредственно перед ним (т. е. непосредственно ему предшествующее). Это и есть основные постулаты при таком подходе к числовой системе.
При конструкционалистской трактовке чисел сперва вводится понятие единичного множества — такой совокупности объектов, что, взяв любой из них, мы будем иметь тот же самый объект. Число «один» после этого служит для обозначений совокупности всех единичных множеств. Диадой далее называется совокупность объектов, не являющаяся единичным множеством, но становящаяся единичным множеством после удаления из нее любого из входящих в нее объектов. Тогда число «два» — это совокупность всех диад. После этого триада определяется как совокупность объектов, не являющаяся ни единичным множеством, ни диадой, но превращающаяся в диаду, при удалении любого из входящих в нее объектов, а число «три» — как совокупность всех триад. Подобным образом при помощи процесса, называемого процессом математической индукции, может быть построено полное множество всех положительных целых чисел.
Неспециалисту все эти рассуждения могут показаться пустой игрой отвлеченными понятиями. В самом деле, разве, вводя эти определения первых целых чисел, мы не пользовались цифрами 1, 2 и 3 лишь в слегка завуалированном виде? Но для логика это возражение звучит малоубедительно, так как большая точность приведенных выше определений позволяет ему стать на твердую почву и перейти отсюда к более сложным математическим идеям.
Искусство построения все более и более сложных математических объектов, таких, как множества множеств и отношения между отношениями, было известно мне и из работ Хантингтона и из работ Рассела. К тому времени я уже написал две-три статьи о применении этой техники к некоторым элементарным математическим ситуациям.
Постулационизм и конструкционализм, о которых здесь идет речь, отнюдь не были чисто математическими течениями. Постулационистские взгляды, в частности, разделяют многие физики. И теория относительности Эйнштейна, и новая квантовая механика представляют собой как раз те разделы, в которых физика вырвалась из рамок классической геометрии Евклида и приняла новые определения, задаваемые некоторыми совокупностями аксиом, но не опирающиеся на неизменную и незаменимую геометрическую интуицию, лежащую в основе старой кантианской теории пространства.
Конечно, справедливо, что тенденция придумывать постулаты ради постулирования и писать научные статьи ради их писания получила широкое распространение в современной математике. И все-таки холодное и суровое посредничество логики подобно холодному и суровому посредничеству мрамора принуждает к определенной внутренней дисциплине всех и в том числе поклонников нового образа свободы, за исключением, быть может, самых пустых и пошлых математиков.