Немногим лучше обходится Вейерштрасс с иррациональными числами. Он их сводит на целые числа так. Мы можем, говорит он, брать агрегаты чисел, состоящие из главной единицы и из разных дробных частей единицы. Число этих разных групп чисел может расти до бесконечности. Допустим, что у нас имеется по конечному числу элементов в каждой группе, а самих этих групп—бесконечное количество. Тогда и получится иррациональное число. В самом деле, пусть такими группами у нас будут дробные части единицы—десятые, сотые, тысячные и т. д. Если этих групп у нас будет бесконечное число, но в каждую группу будет входить только конечное число элементов, то это и даст нам иррациональное число. Проще говоря, Вейерштрасс хочет сказать только то, что иррациональное число есть дробь с бесконечным числом десятичных знаков. Если на основании этого он думает, что иррациональность сводится на целое число, то это есть только подмена логического определения письменными знаками, которые его обозначают. Иррациональность, если ее брать как таковую, в чистом виде, ни в каком смысле не сводима на цельность. Можно, конечно, понимать ее как целое, но в таком же точно смысле окажутся целыми и все дроби, все трансцедентные и гиперкомплексные числа, точно так же, как все их можно назвать единицами. Называет же Вейерштрасс единицами двойки, тройки, десятки, половины, трети, сотые части и т. д. Но если это не диалектика (в том смысле, как мы говорили в § 23 о вездеприсутствии одного и того же перво–принципа единичности)—а в диалектике Вейерштрасс нисколько не повинен, — то это просто игра словами.

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

В учении о числах как о паре целых чисел указывают обычно условия равенства и неравенства пар и способы действий над ними. Если мы имеем в виду дроби, то пары я, b и я', Ъ' равны здесь между собою только тогда, когда ab = a'b'. Не нужно особенно напрягать свои умственные способности, чтобы догадаться, что здесь попросту имеется в виду равенство в пропорции произведения крайних и средних. Другими словами, здесь только по другому правописанию записана та святейшая истина, что дроби равны, когда равны отношения их числителей и знаменателей. Но никакое новое правописание, конечно, не создаст логического определения, если оно не получено из другого источника.

Точно таким же характером обладает «условие равенства пар» для отрицательного числа. Тут пары а, b и а', b' будут равны при условии a+b' — а' + b. То же самое в комплексных числах и пр. Везде тут— словесный оборот вместо логического построения.

5. В традиционном математическом учении о типах числа поражает отсутствие всякой систематики и методологии. Обычно, желая перечислить решительно все типы числа, говорят, что каждое действие имеет для себя обратное действие, и когда это последнее прямо невыполнимо, то «условились» — де (как будто бы можно было не условиться?) ввести новые понятия—отрицательного, иррационального и мнимого числа. Этим и кончается вся «система». Что единица, нуль и бесконечность есть совсем особые числа, со своим особым влиянием на все прочие числа, об этом в данной «системе» не говорится ни слова, хотя своеобразие этих чисел бьет в глаза на каждом шагу. Всякому ясно, что это не просто разные числа, но разные типы числа, разные категории числа. Почему же о них нет ни слова в указанной «системе»?

О прочих типах числа, хотя они непосредственно связаны с указанной «системой», говорится весьма неохотно и большею частью только там, где уже сам материал хватает математика за горло и требует введения новых чисел. Как возрадовались бы многие математики, если бы удалось выкинуть из низшей геометрии число π. Но, оказывается, без него невозможно решить почти ни одной задачи из теории круга и круглых тел. И вот волей–неволей вносят это π в геометрию. Но как вносят! Вносят, конечно, чисто вычислительно, не давая никакого представления о нем как именно об особом типе числа, а не просто о числе наряду с прочими—напр., иррациональными—числами. О е вяло говорят в низшей алгебре, немного больше—в анализе (потому что без него нельзя было бы понять многих самых элементарных форм дифференцирования). Но где же это е изучается как таковое? Математики не знают даже, в какую науку можно было бы отнести теорию этого е, не то в алгебру, не то в анализ. А то, что это есть чистейшая арифметика, большинство, пожалуй, даже удивится. Но вот без е и π никуда двинуться нельзя, а без остальных трансцедентностей можно двигаться очень далеко. И что же? Результат очень простой: нет почти никакой систематической теории трансцедентностей. О кватернионах я уж и совсем не говорю. Хотя это наиболее зрелый продукт числового типа вообще, они, можно сказать, крайне непопулярны в современной математике (несмотря на значительные удобства, которые они приносят с собою); и тоже неизвестно, арифметика ли это, алгебра или анализ.

Нечего и говорить о том, что предложенное выше диалектическое построение числовой типологии, вероятно, содержит много изъянов, недостатков и, может быть, даже просто ошибок. Однако это только первый опыт. После него другие смогут дать уже и более совершенные построения.

III. АРИФМЕТИЧЕСКИЕ ДЕЙСТВИЯ (СТАНОВЛЕНИЕ СУЩНОСТИ ЧИСЛА)

§ 115. Основная дедукция.

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

b) Натуральный ряд дает нам числа, бесконечно разнообразные по количеству, но числа, так сказать, в их статическом употреблении. Хотя натуральный ряд сам по себе и есть становление, но входящие в его состав числа даны отнюдь не в своем становлении. Они—статичны. Становление относится здесь к стихии самого порождения чисел, самого их возникновения. Но о становлении каждого числа в отдельности ровно ничего не говорится в понятии натурального ряда. Итак, эти числа статичны и взаимно изолированы. С другой стороны, типы числа, будучи связаны между собою диалектически, отнюдь не связаны между собою количественно. Они связаны диалектически, т. е. исключительно понятийно, категориально; они связаны как категории чисел, а не как числа с тем или другим количественным значением. В этом смысле они абсолютно изолированы. Итак, числа натурального ряда связаны между собою количественно (да и то в совершенно узком и специальном значении этого слова) и совершенно не связаны категориально (все они—одна и та же категория); и типы числа связаны между собою чисто категориально и совершенно не связаны количественно (ко всем ним применимы любые количества). Возникает диалектическая необходимость так объединить числа натурального ряда с типами чисел, чтобы отношения между числами натурального ряда были не только количественными, но и типовыми, а отношения между типами числа были не только типовыми, но и количественными. Короче говоря, необходим диалектический синтез того и другого.

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

2. Что всякое арифметическое действие есть некое становление, это ясно само собой, ибо для осуществления сложения, вычитания и пр. необходимо, чтобы нечто произошло. Тут мало простого наличия статических и изолированных чисел; необходимо, чтобы они вошли в какоето взаимное объединение и сплетение, чтобы они входили одно в другое и вообще были во всестороннем взаимоотношении. Итак, всякое арифметическое действие есть становление. Но какое это становление? Это именно такое становление, в котором происходит качественное изменение количественных установок. Пусть, напр., мы умножаем —2 на 5 и из полученного произведения извлекаем квадратный корень. Тут от двух типов числа (положительного и отрицательного) мы путем чисто количественных операций переходим совершенно к новому типу числа (к мйимому). Пусть мы имеем сумму 3+2 и делим ее на 2: из одного (или двух) типов числа (положительного и отрицательного) мы получаем опять третий (дробное число). И т. п. Ясно, что всякое арифметическое действйе есть становление, и как раз становление в смысле диалектического синтеза чисел натурального ряда с теми или другими типами числа.

Таково диалектическое место самой категории арифметического действия.