Читать «Бесчисленное поддается подсчету. Кантор. Бесконечность в математике.» онлайн - страница 2

В IV веке до н.э. Аристотель, заложивший основы систематического изучения логики и науки в целом, написал трактат «Физика». Среди прочих вопросов в нем исследовалось и движение тел. Но сначала Аристотелю предстояло доказать, что движение вообще существует в действительности, а значит, опровергнуть доводы Парменида и Зенона.

Если бытие не может не существовать, то как оно способно изменять свое состояние, переставать быть? Аристотель говорит, что оно есть, но иногда оно состоит в потенции, а иногда — в действии. Когда ребенок вырастает и оказывается взрослым, он не перестает быть ребенком, ребенок — это взрослый в потенции, который становится взрослым в действии. Ребенок изменился, но не прекратил существовать. Зерно — это растение в потенции, белый лист — текст в потенции и так далее. Несколько веков спустя Микеланджело Буонаротти высказал похожую мысль: в глыбе мрамора уже содержится скульптура, и нужно только отсечь все лишнее. Так Аристотель совместил представление Парменида о бытии с возможностью изменения.

После того как было доказано, что бытие способно изменяться, как можно опровергнуть аргументы Зенона? Во всех его парадоксах предполагается, что пространство и время бесконечно делимы. В примере с деревом между деревом и рукой имеется бесконечное количество переходов. Тогда Аристотель сказал, что бесконечности не существует. Точнее, она существует только в потенции и никогда — в действии. Идея бесконечности в потенции подразумевает, что некое количество может возрастать сколько угодно, но все равно в итоге будет конечным, идея бесконечности в действии — что это количество на самом деле бесконечно. Это различие очень важное, и мы еще к нему вернемся. По Аристотелю, можно допустить наличие количества, которое возрастает неопределенным образом, но всегда будет конечным, однако нельзя принять идею действительно бесконечного количества. Допустимо разделить расстояние между рукой и деревом на десять, сто, тысячу частей или на любое конечное количество каких угодно единиц измерения, но нельзя утверждать, что оно делится на действительно бесконечное количество фрагментов.

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

Помимо силы доводов столь длительное господство его идеи объясняется двумя причинами.

Прежде всего, человеческий разум не в состоянии представить себе актуальную бесконечность, поэтому нам проще принять то, что на самом деле ее не существует. Мы скорее представим потенциальную бесконечность — количество, которое бесконечно возрастает, — но не актуальную бесконечность. Как выглядела бы, например, прямая действительно бесконечной длины? Нужно представить себе линию целиком (то есть то, что мы «видим» в воображении, не должно быть отрезком прямой), но при этом бесконечную. Однако наш разум неспособен создать такой образ. Мы можем представить линию, которая уходит за горизонт, и сказать, что она продолжается до бесконечности, но в таком случае мы «видим» прямую с длиной, «бесконечной в потенции», так как наше зрение охватывает только ее часть. Или же возьмем числа 0,1,2,3,4,5 и так далее. Представить этот ряд как действительно бесконечный значило бы представить все числа без исключений в одном списке, но при этом этот список не должен кончаться. Нашему разуму это не под силу.