4.8. Формирование идей функциональной зависимости и переменной величины
В понятии «широта движения» совмещаются, таким образом, два аспекта: с одной стороны, моделируемый математической операцией вычитания, а с другой — схватываемый в понятии времени. Современный физик или математик сказали бы, что такое совмещение достигается благодаря соответствию, фактически устанавливаемому Хейтсбери между двумя множествами: множеством градусов скорости и множеством моментов времени. Но Хейтсбери этого не говорит, и не только потому, что идея такого соответствия, т. е. идея функциональной зависимости, только-только начинала формироваться. Сама исходная интуиция, лежащая в основе его доказательства, была другой. Хейтсбери, так же как и Суайнсхед, устанавливает закономерности, присущие равноускоренному движению, не путем ретроспективного анализа его особенностей, когда само движение уже прекратилось, а моделируя процесс его протекания. Равномерное движение для него — это движение, широта которого «приобретается или утрачивается» равномерно; только при таком взгляде на движение тела могла возникнуть необходимость в определении не всего времени его движения, а последовательности временных отрезков, из которых складывается время целого движения, а также возрастающей и убывающей последовательности градусов. Апелляция к движению не как к предмету изучения, а как к средству доказательства, позволяющему «пересчитать» все градусы скорости (эта конструктивно-доказательная функция движения особенно заметна в теореме Суайнсхеда, но без нее распались бы и все рассуждения Хейтсбери), не должна, по-видимому, расцениваться только как свидетельство недостаточной зрелости математической мысли (как известно, при установлении различного рода соответствий и функциональных зависимостей, согласно представлениям современной математики, нет необходимости привлекать понятие движения). Она заслуживает более серьезного отношения, поскольку в ней отразились моменты, существенные, на наш взгляд, для понимания не только генезиса идеи функциональной зависимости, но и самой проблемы.
Первое отличие «кинематической» трактовки проблемы функциональной зависимости от «математической» (подразумевая под последней прежде всего теоретико-множественное понятие функции, а также и другие формулировки, которые обходятся без какого бы то ни было упоминания о движении) очевидно: так как до окончания движения нет ни множества всех градусов широты, ни множества всех моментов времени движения, то нельзя говорить о соответствии между элементами этих множеств, ведь всякое соответствие предполагает предварительное наличие сущностей, между которыми оно устанавливается. Если же в последовательности градусов всякий следующий градус скорости достигается лишь по истечении определенного промежутка времени, то и самого градуса, и момента времени, соответствующего ему, нет, пока они оба не возникнут, причем изначально соотнесенные между собой, т. е. возникнут одновременно с их «соответствием». Ни градусы, ни время не будут играть роль независимых переменных — независимым, первичным, будет процесс движения (или его модель — работа «генератора»), а они будут производными величинами. Точнее, даже не величинами, ибо понятие «величина» обычно ассоциируется только с количественной величиной, т. е. с величиной, сопоставляемой и сравниваемой с другими величинами, сосуществующей с ними, имеющей, как и они, актуальное (вневременное) существование. Если их и называть величинами, то с прибавлением эпитета «порядковые», указывающего, что они, по своему исходному определению, не подлежат ни сравнению, ни сопоставлению; единственная их характеристика состоит в последовательности, в которой они получаются в процессе движения. Порядок, в котором они порождаются, задает изначальное соотнесение двух рядов величин; для обозначения такого соотнесения не нужно привлекать, помимо величин и их порядка (точнее, помимо «порядковых» величин), никакой особой сущности, подразумеваемой понятием «соответствия». Неприкрыто кинематическое введение согласованного развертывания двух рядов величин в работах мертонцев, т. е. создание ими кинематической концепции функциональной зависимости при всех ее недостатках, разделяемых ею со всеми первоначальными, прорисованными далеко не во всех деталях, формулировками новых идей, помогает, с одной стороны, понять истоки господствующей в современной математике «статичной» концепции, а с другой стороны, указывает на возможность альтернативного подхода к интерпретации понятия функциональной зависимости.
Приступая к изложению взглядов мертонских «калькуляторов», мы выдвинули утверждение о том, что ядром инноваций, внесенных ими в учение о движении, является изменение понятия величины. Это утверждение было рабочей гипотезой, определившей способ организации материала и угол зрения на проблему. Все затронутые в данной главе темы прямо или косвенно касались этого пункта. Теперь нам остается подвести итог анализу трансформаций, которым подверглось в работах мертонцев понятие величины.
Главным моментом, подготовившим почву для трансформаций, было соединение двух понятий: широты движения и величины. Когда Хейтсбери стремился показать, что средний градус широты будет средним не только «количественно», но и в смысле одинакового «расстояния», отделяющего его от крайних градусов, то он ссылался в качестве аргумента на тот факт, что «всякая широта есть некое количество, и поскольку вообще во всяком количестве середина равно отстоит от краев, так и средний градус любой конечной широты равно отстоит от двух краев, будут ли эти два края градусами, или один из них будет некоторым градусом, а другой — отсутствием всего, или не-градусом» [103, 279]. Но мертонцы не ограничились утверждением, что широта есть количество, т. е. величина. В их трудах мы находим более радикальную формулировку: «Любая величина есть широта от не-градуса до нее самой» [155, 158]. Она, пожалуй, лучше всего выражает суть концепции величины, развитой в Мертонколледже.
Поскольку широта мыслилась мертонцами состоящей из градусов, и в равноускоренном движении происходил пересчет всех градусов, предшествовавших максимальному, начиная с не-градуса (или некоторого минимального градуса широты), то максимальный градус оказывался не просто количественной «величиной», которую можно сопоставлять с любыми аналогичными величинами, но последним в «непрерывном ряду» градусов.
Что собой представляет такой «непрерывный ряд», уже говорилось. Теперь, проанализировав доказательства «кинематических теорем», мы можем понять и как он «конструировался» (имея в виду фактическую конструкцию, вырисовывающуюся из трудов мертонцев, а не их прямые высказывания). Понятие равноускоренного движения определялось мертонцами в два этапа. Сначала указывался порождающий процесс, состоящий в равных приращениях скорости за равные промежутки времени. Приращения скорости и промежутки времени определялись путем деления конечной широты, приобретаемой за конечное время, на равные части. Максимальный градус был поэтому конечным результатом некоторого дискретного преобразования, порождающего процесса. Затем предполагалось, что он будет конечным пунктом развертывания и других последовательностей — результатов иных способов членения данной широты. Предполагалось, иными словами, что максимальный градус является результатом развертывания бесконечного числа дискретных последовательностей, или, если представить все эти последовательности порождаемыми одним и тем же «генератором», результатом «непрерывного» процесса порождения. Будучи таковым, он оказывался, во-первых, «порядковой» величиной, а, во-вторых, даже не величиной, а одним из моментов «непрерывного» ряда градусов, который только весь целиком мог бы быть назван величиной, а именно переменной величиной, поскольку процесс движения моделировался изменением значений градусов скорости,
Мертонские исследователи не разработали адекватной символики, которая дала бы им возможность ясно сформулировать понятие переменной величины. Эта символика появилась позднее в работах математика XVI в. Виета. Но представляется справедливым мнение А. П. Юшкевича, что «нельзя не оценить высоко проницательность людей, которые в XIV в. высказали, хотя бы и в нечеткой схоластической форме, несколько руководящих мыслей новой математики переменных величин» [67, 202—203].
Следует, однако, заметить, что первоначальные формулировки идей — это не просто несовершенные образы более поздних разработок. Нередко в них заключены потенции к развитию исходной идеи в нескольких направлениях. Так обстоит дело и с концепцией величины, вырисовывающейся из работ мертонской школы. Мы попытались показать, что новая концепция величины формируется на фоне явно не высказанной, но подразумеваемой идеи развертывания (порождения) последовательностей. Понятие интенсивной скорости, да 'и сам факт обращения к проблеме движения, не просто стимулировали введение новых математических понятий, которые сами по себе могли быть поняты и объяснены без апелляции к какой-либо модели движения. Мертонцам удалось высказать ряд «руководящих мыслей», касающихся идеи функциональной зависимости и переменной величины именно потому, что они впервые начали разрабатывать концептуальный аналог движения — его «порождающую модель». Трудности, которые подстерегали исследователей на этом пути, прежде всего связанные с необходимостью оперировать с непрерывными величинами, заставили математиков последующих столетий выбрать другой путь, который привел к исчислению бесконечно малых. Математика непрерывного отделилась от конструктивной математики, обратившись к понятиям, в определении которых существенную роль играла идея актуальной бесконечности, т. е. к понятиям, которые в принципе не поддавались интерпретации в терминах дискретных последовательностей. Мертонские «калькуляторы» (с этим согласно большинство историков науки) предвосхитили ряд основополагающих идей математики непрерывного, но в их работах содержится и нечто другое: попытка (пусть очень неуверенная) найти, так сказать, «конструктивный» подход к решению проблемы непрерывности. Хотя их усилия в этом направлении не были продолжены последующими поколениями математиков, примечателен сам факт существования в истории науки такой концепции, которая не предполагала, в случае ее успешного развития, принципиального разрыва между конструктивными и неконструктивными методами, разрыва, наблюдаемого в настоящее время в математике. С этой точки зрения идеи, высказанные в рамках учения об интенсии и ремиссии качеств, представляют не только историко-научный интерес.
