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

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

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

Все только что перечисленные свойства математических величин, выражающиеся словами: однородность, неизменяемость по природе под влиянием действий, определенность действий и результатов, определенность сходств и разниц, очевидно, заимствованы от фактов действительности, с тем лишь различием от последних, что в математических величинах все эти свойства сведены, так сказать, до идеала, а в реальных вещах они представляют лишь приближения к идеалу. Кроме того, вся характеристика количества взята мной от чисел и арифметических действий над ними; а арифметика усваивается в очень ранней юности, т. е. почвой, воспитавшейся исключительно на реальностях.

Однако мысль математики не останавливается на этой первоначальной ступени развития, и от конечного она переходит к бесконечному, от неизменного к изменяющемуся.

Если на бумаге провести черту карандашом или пером в каком-либо направлении, то под микроскопом, при достаточно сильном увеличении, контуры черты никогда не окажутся ровными, а всегда мелко зазубренными. Причина понятна. Первое прикосновение пера или карандаша к бумаге дает точку некоторых размеров; следовательно, передвижению их должен соответствовать непрерывный ряд точек, тем более зернистый, чем точка крупнее и передвижение ее медленнее. Еще большая неправильность черты получилась бы в случае, если бы поступательное движение точки было связано с вращениями пишущего снаряда около оси и размеры точки не во всех направлениях были одинаковы. Дело другого рода, если вообразить себе точку, не имеющую размеров, — тогда она могла бы двигаться с какой угодно медленностью и с какими угодно вращениями, — путь ее во всяком случае будет линией, однородной по длине, без размеров в толщину. Такая точка будет математической точкой, а путь ее передвижения — математической линией. То и другое более чем внечувствен-но — то, что называется фикцией, реальной невозможностью;

но зато отношение между точкой и линией стало строго определенным со стороны пространственной. Пример этот показывает, какими простыми рассуждениями и опытами можно дойти до фикций, когда дело идет о крайне простых отношениях. С другой стороны, легко показать, что обе фикции приложимы к реальностям, что опять говорит в пользу происхождения их из реальностей. Так, центр тяжести тела есть понятие, стоящее уже на границе реальности, а между тем таким центром может быть только математическая точка. Другой пример. Столяр, измеряя размеры какой-либо поделки ниткой, очень ясно понимает, что тут дело не в толщине нитки, а только в ее длине. Представление о контуре предмета тоже эквивалентно математической линии: глаз видит контур как границу между фигурой тела и окружающим ровным фоном; но куда отнести эту границу как линию: к веществу тела или к окружающему фону? Одна математическая линия, без размера в толщину, выводит ум из затруднения.

Для перехода количества в область бесконечного возьмем такой простой пример.

Из 1 можно сделать 2 прибавлением к 1 несметного числа несметно малых дробей.

Как ни проста эта мысль, но за нею скрывается уже очень многое:

1) беспредельная с виду дробность величин, не доходящая, однако, до нуля

2) нуль как предел дробимости — фикция, эквивалентная по смыслу математической точке, — эта в приложении к протяженностям, та — к количествам;

3) беспредельное нарастание величин в сторону фиктивного предела «бесконечность», с ее знаком ° °.

Понятия эти составляют исходные пункты высшего математического анализа; и как они ни отвлеченны, в них все еще слышится отзвук действительности. Так, мировое пространство представляется уму беспредельным; абсолютный 0° температуры есть возможная реальность; нуль давления в барометрической пустоте есть реальность действительная.

Вот, далее, пример математической зависимости, вполне эквивалентный тому, что зовется в обыденной жизни причинной зависимостью.

Если х обозначает какую-либо неизвестную величину и она связана каким-либо образом с другой известной я, то обе вместе представляют новую неизвестную у; например, а +х = у Если при этом ставить на место х какие-либо известные величины в одеянии букв или чисел, или, как говорится, считать ж величиной переменной, то каждой определенной перемене х будет соответствовать определенная перемена всей суммы, т. е. у: поэтому и говорят, что в данном уравнении х представляет независимую переменную, а у —