Тем, кто не в силах сопротивляться искушению и желает понять, почему в тенях скрывается бесконечность, советуем поделить 6 на какое-нибудь маленькое число, близкое к нулю, но не равное ему, например 0,1. В этом ничего запретного нет. Если разделить 6 на 0,1, получится 60, довольно прилично. Поделим 6 на еще меньшее число, скажем 0,01; ответ будет больше – 600. Если мы отважимся разделить 6 на число, которое гораздо ближе к 0, допустим, на 0,0000001, то ответ будет еще больше и составит 60 000 000. Тенденция ясна. Чем меньше знаменатель, тем больше частное. В пределе, когда знаменатель приближается к нулю, частное стремится к бесконечности. Вот настоящая причина, почему нельзя делить на 0. Малодушные говорят, что ответ неопределенный, но на самом деле он бесконечный.
Все это можно представить себе следующим образом. Вообразите, что вы делите 6-сантиметровую линию на части длиной 0,1 сантиметра. Получается 60 кусков, уложенных вплотную друг к другу.
Точно так же (но я не буду пробовать это нарисовать) эту линию можно поделить на 600 частей по 0,01 сантиметра или на 60 000 000 частей по 0,0000001 сантиметра.
Если мы продолжим и доведем это безумное деление до предела, то придем к заключению, что наша 6-сантиметровая линия состоит из бесконечного числа частей нулевой длины. Возможно, это звучит правдоподобно. В конце концов, линия состоит из бесконечного количества точек, и каждая точка имеет нулевую длину.
Но с философской точки зрения нервирует то, что аналогичное рассуждение можно применить к линии любой длины. В самом деле, в числе 6 нет ничего особенного. Мы могли бы с равным успехом утверждать, что линия длиной 3 сантиметра, или 49,57, или 2 000 000 000 состоит из бесконечного числа точек нулевой длины. Очевидно, что умножение 0 на бесконечность может дать нам любой мыслимый результат – 6, 3, 49,57 или 2 000 000 000. С математической точки зрения это ужасно.
Грех актуальной бесконечности
Прегрешение, которое втянуло нас в эту путаницу, заключалось в том, что мы вообразили, будто действительно можем достичь предела и трактовать бесконечность как достижимое число. Еще в IV веке до нашей эры греческий философ Аристотель[30] предупреждал, что такое обращение с бесконечностью способно привести к различным логическим неприятностям. Он выступал против актуальной бесконечности[31], уверяя, что смысл имеет только потенциальная бесконечность.
В контексте разрезания линии на части потенциальная бесконечность означает, что линию можно разрезать на сколь угодно большое количество частей, но оно всегда конечно, а длина частей не равна 0. Это вполне допустимо и не вызывает никаких логических затруднений.
Что запрещено – так это идея, что можно пройти весь путь до актуальной бесконечности и получить бесконечное