Пустой остов таких доказательств был воздвигнут с целью доказать физические законы. Но математика вообще не может доказать количественных определений физики, поскольку они суть законы, имеющие своим основанием качественную природу моментов; математика не может этого сделать по той простой причине, что она не есть философия, не исходит из понятия, и поэтому качественное, поскольку оно не почерпается лемматически из опыта, лежит вне ее сферы. Отстаивание чести математики, настаивание на том, что все встречающиеся в ней положения должны быть строго доказаны, заставляло ее часто забывать свои границы. Так, например, казалось противным ее достоинству просто признать опыт источником и единственным доказательством встречающихся в ней опытных положений. Позднее было достигнуто более определенное сознание этой истины; но до тех пор, пока сознание не уяснит себе различие между тем, что может быть доказано, и тем, что может быть лишь заимствовано из другого источника, равно как и различие между тем, что представляет собою лишь член аналитического разложения, и тем, что представляет собою физическое существование, до тех пор научность не сможет достигнуть строгой и чистой позиции. А что касается указанного остова Ньютоновых доказательств, то его, без сомнения, еще настигнет такой же справедливый суд, который настиг другое необоснованное искусственное построение Ньютона, состоявшее из оптических экспериментов и связанных с ними умозаключений. Прикладная математика еще полна такого рода варевом из опыта и рефлексии. Но подобно тому, как уже с довольно давних пор стали фактически игнорировать в науке одну часть ньютоновской оптики за другой, причем, однако, совершают ту непоследовательность, что продолжают держаться, хотя и в противоречии с этим, прочих частей ее, точно так же является фактом, что часть упомянутых обманчивых доказательств уже сама собою пришла в забвение или заменена другими доказательствами.
Примечание 2. Цель дифференциального исчисления, выведенная из его приложения
В предшествующем примечании мы рассмотрели отчасти определенность понятия бесконечно малого, применяемого в дифференциальном исчислении, отчасти же основу его введения в последнее. И то и другое суть абстрактные и потому сами по себе также и легкие определения. Так называемое приложение представляет больше трудностей, равно как и более интересную сторону; элементы этой конкретной стороны составят предмет настоящего примечания. Весь метод дифференциального исчисления полностью дан в положении, что dxn=dxn -1dx или (ƒ(x+i)-ƒx)/i=P, т. е. равняется коэффициенту первого члена двучлена (x+dx)n или (x+i)n[62], разложенного по степеням dx или i. Дальше нечему учиться новому; вывод ближайших форм, дифференциала произведения, показательной функции и т. д. получается из этой формулы механически; в короткое время, в каких-нибудь полчаса, с нахождением дифференциалов дано также и обратное, нахождение первоначальной функции на основании дифференциалов, интегрирование – можно овладеть всей теорией. Задерживает на ней дальше лишь старание усмотреть, сделать для себя понятным, каким образом после того, как одна сторона задачи, нахождение этого коэффициента, решена так легко аналитическим, т. е. совершенно арифметическим, способом, посредством разложения функции переменной величины, получившей через приращение форму двучлена, оказывается правильной также и другая сторона, а именно отбрасывание всех членов возникающего ряда, кроме первого. Если бы оказалось, что единственно только этот коэффициент и нужен, то с его нахождением было бы покончено, как мы сказали, менее чем в полчаса со всем, что касается теории, и отбрасывание прочих членов ряда представляло бы так мало затруднений, что скорее, наоборот, о них как о членах ряда (как второй, третьей и т. д. производной функции, их определение равным образом уже закончено с определением первого члена) вовсе и не было бы речи, так как в них совершенно нет надобности.