.
А в алгебре, цитируя другого авторитета, «когда корень из алгебраической величины, которая требуется, не может быть точно получен, он называется иррациональным или перенасыщенным количеством. Таким образом, ∛a2 или a2/3 называется прибавочной величиной».10
Переходя ко второй и, безусловно, наиболее обширной и важной ветви всей науки исчисления, а именно к алгебре, используя этот термин в самом широком смысле, мы находим первый параграф «Универсальной арифметики» Ньютона следующим образом:
«Вычисления производятся либо с помощью чисел, как в обычной арифметике, либо с помощью символов с общим значением (видов), как это практикуется аналитиками. Каждый вид опирается на одни и те же основания и стремится к одной и той же цели; Арифметика – определенно и конкретно, Алгебра – неопределенно и универсально. Таким образом, в широком смысле все формулировки, используемые в алгебраических вычислениях, и особенно их выводы, можно назвать теоремами. Но главное достоинство алгебры состоит в том, что в то время как вопросы арифметики решаются только путем перехода от заданных величин к искомым, алгебра по большей части идет от искомых величин, взятых как если бы они были заданными, к заданным величинам, взятым как если бы они были искомыми; чтобы прийти, во что бы то ни стало, к некоторому выводу или уравнению, из которого может быть получено искомое количество. Таким образом решаются самые сложные задачи, решение которых тщетно пыталась бы найти только Арифметика. Тем не менее, Арифметика настолько подчиняет себе Алгебру во всех ее операциях, что обе они вместе составляют единую совершенную Науку вычислений; по этой причине я предлагаю излагать обе эти науки вместе».11
В этом отрывке есть несколько моментов, которые, кажется, требуют разъяснения. Термин «виды» я перефразировал, а не перевел как «символы, имеющие общее значение»; общее – это термин обычного логического мышления, который наиболее точно соответствует тому, что в чисто количественном мышлении выражается неопределенным. Значение видов в настоящее время дано самим Ньютоном как эквивалент букв, используемых для обозначения количеств, которые либо неизвестны, либо считаются неопределенными. «Когда количество чего-либо неизвестно или считается неопределенным {indeterminate spectatur), так что оно не может быть выражено числами (ita lit per numeros non liceat exprimere), мы имеем обыкновение обозначать его каким-либо видом или буквой (speciem aliquant seu literam). А если мы считаем известные величины неопределенными, то для определенности обозначаем их начальными буквами алфавита, a, b, c, d, а неизвестные величины – его конечными буквами, z, y, x и т. д.