Могут попробовать возразить, что эти утверждения не были правильными, так как к бесконечным множествам, с точки зрения современной математики, не могут применяться понятия «больше», «меньше», «равно», а должны применяться понятия «мощности» и связанные с ними процедуры сопоставления.[75] Это правильно. Но мы знаем это сегодня, а когда этот вопрос встал и когда его обсуждали, начиная, по-видимому, с Демокрита и вплоть до работ Г. Кантора, понятия мощности множества не существовало и приходилось пользоваться теми понятиями, которые были. Кроме того, даже и с этой модернизированной точки зрения нужно признать, что оба утверждения по поводу числа полных квадратов в ряду натуральных чисел находятся в совершенно равных условиях — оба являются одинаково ложными или одинаково истинными. Только это важно в контексте данного рассуждения: возникала ситуация, в которой два знания исключали друг друга и оба были одинаково правильными, и из этой ситуации нужно было выходить, создавая новые средства науки.
Чтобы снять возможное впечатление, будто парадоксальная ситуация возникает из-за оперирования «трудным» и немного мистическим понятием бесконечности, разберем еще пример физического парадокса, выявленного Г. Галилеем примерно через две тысячи лет после появления разобранного выше математического парадокса.
Различие между равномерными и переменными движениями стало известно людям уже давно. Но это было лишь наглядное, чувственное знание, не осмысленное в понятиях. Существовавший во времена Аристотеля чувственно-непосредственный способ сопоставления движений, когда время фиксировалось как равное, а сравнивались одни лишь отрезки пройденного телами пути, не позволял выявить различие между равномерными и переменными движениями в виде понятия.
И хотя в представлении древних понятие скорости было результатом и средством сопоставления движений вообще, независимо от их характера, по содержанию и по своему строению оно служило адекватным отражением только равномерных движений. Поэтому когда Галилей приступил к исследованию ускоренных движений, используя для этого понятие скорости, выраженное в формуле v = s/t, то это привело его к логическому противоречию (антиномии). Так как часы, находившиеся в его распоряжении, несмотря на все произведенные усовершенствования, были все еще малопригодны для измерения небольших промежутков времени, Галилей решил замедлить исследуемые движения падения с помощью наклонных плоскостей, а это в свою очередь заставило его сопоставить между собой падение тел по вертикали и по наклонным. Согласно определениям Аристотеля, из двух движущихся тел то имеет большую скорость, которое проходит за одно и то же время большее пространство, чем другое, или то же пространство, но за меньшее время. Соответственно считалось, что два движущихся тела обладают одинаковой скоростью, если они проходят равные пространства в равные промежутки времени.
Галилея эти определения уже не удовлетворяли. Выработанный им способ измерения времени позволил представить понятие скорости в виде математического отношения величин пути и времени. С этой новой точки зрения ничего не изменится, если назвать скорости равными и тогда, «когда пройденные пространства находятся в таком же отношении, как и времена, в течение которых они пройдены…»
Итак, имеются два определения равенства скоростей двух движущихся тел.
Первое: скорости двух тел равны, если за равные промежутки времени эти тела проходят равные пространства.
Второе: скорости двух тел равны, если пространства, проходимые одним и другим, пропорциональны временам прохождения.
Второе определение является обобщением первого. Имея эти два определения, Галилей приступил к сопоставлению конкретных случаев падения тел. Пусть по СВ и СА (см. схему 1) падают два одинаковых тела. Скорость тела, падающего по СВ, будет больше скорости тела, падающего по СА, ибо, как показывает опыт, в течение того времени, за которое первое падающее тело пройдет весь отрезок СВ, второе пройдет по наклонной СА часть CD, которая будет меньше СВ. Отсюда в соответствии с первым определением можно сделать вывод, что скорости тел, падающих по наклонной и по вертикали, не равны.
