Элементы мысли

Чтобы избежать длинных рассуждений по этому предмету, обращаю внимание читателя на следующее. Все самоочевидные истины, во-первых, крайне элементарны, во-вторых, всегда представляют с виду сильно обобщенные выводы, встречающие приложение не только в науке, но и в практической жизни на каждом шагу. Такая приложимость их к опыту, рядом с отсутствием понимания многих аксиом детьми в раннем возрасте, заставляет уже сильно сомневаться в их внеопытном происхождении, хотя и не может, конечно, опровергнуть этой мысли абсолютно. Но вот что ее опровергает. Все признают, что интуиция равнозначна выводу, делаемому как будто без посылок; на этом основании Льюис характеризует ее чрезвычайно метко словами интуиция есть организованное суждение, желая этим выразить ее сходство с сильно привычным движением, сделавшимся автоматическим, где механизм процесса заучения скрыт быстротой и легкостью действия. Я, с своей стороны, могу привести аналогию еще более подходящую, именно unbewusste Schlusse Гелъмгольца при восприятии пространственных отношений детьми в такую пору, когда они еле начинают ходить, не только что рассуждать. Аналогия последних актов с интуициями до такой степени полная, что я, не колеблясь, утверждаю психологическую однозначность интуитивного понимания такой, например, аксиомы, как «часть всегда меньше своего целого», с пониманием следующего предложения: «чтобы видеть предмет, стоящий справа, нужно всегда повернуть или голову, или глаза направо». А между тем кто же станет сомневаться, что последняя из истин, будучи столь же самоочевидной, всеобщей и необходимой, как первая, имеет чувственное происхождение? Недоказываемая в геометрии аксиома «прямая линия есть кратчайшее расстояние между двумя точками» имеет опять несомненно чувственные корни. Смотря на окружающие нас предметы, мы ясно чувствуем разницу (со стороны положения) между теми, которые стоят прямо перед нами, и всеми прочими. Мы привыкли относить положение видимых предметов, не исключая и песчинки, к фронту нашего тела и к положению на этом фронте мысленного циклопического глаза на переносье (нам кажется, что мы смотрим не двумя глазами, а одним, лежащим между ними). Под словами «прямо передо мной» подразумевается прямая линия и она же подразумевается в акте ходьбы. Если со стороны местности нет препятствий, то мы идем к намеченному предмету всегда по прямой линии, не задаваясь никакими геометрическими соображениями, а по существующему в нашем теле согласованию перемещения ног с фронтом тела и направлением видения — зрительной осью циклопического глаза. Результатом таких жизненных опытов является в уме даже простолюдина следующая самоочевидная для него истина: если бы можно было идти к такому-то предмету прямо, то было бы совсем близко, а то приходится колесить. Далее, в действиях математика на каждом шагу подразумевается как непреложная истина мысль, что одно и то же действие, будучи приложено к величинам однородным, дает результаты, однородные между собой, в приложении к сходным — сходные и т. д. Такие выводы по аналогии целиком взяты из действительности. Если бы сапожник не был непреложно убежден из опытов, что по данной колодке можно шить сапоги равной меры, а по разным сходным колодкам сходные же вещи другой меры, то он отказался бы от своего ремесла.

Другой и самый главный залог непогрешимости математического мышления (при этом прошу читателя держать пока в голове числа и арифметические действия над ними)[ 48 ] заключается в идеальной однородности, простоте и неизменяемости по природе того материала, из которого выстроены математические величины. Благодаря таким свойствам материала все действия над ним (по смыслу те же самые, что приписаны выше химику) — анализ, синтез и сравнение — достигают идеальной простоты и дают абсолютно верные результаты. Так, достоверность вывода «дважды два — четыре» более достоверности наступления завтрашнего дня после сегодняшнего, — первая абсолютна, а за достоверность второго вывода говорит лишь опыт людей за многие тысячи лет против одного гадательного завтра. По тем же причинам степени сходств и разниц в математике от тождества к противоположности вполне определенны. Более крайней и простой противоположности, чем «положительное» и «отрицательное» математики, нет ничего на свете.