Виктор Лёвин - Актуальность сложности. Вероятность и моделирование динамических систем

Выбор базисного языка дает ряд форм редукционизма, например, феноменализм и физикализм.

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

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

Одно из центральных положений частотной теории звучало так: о вероятности можно говорить только в случае, если налицо имеется твердо определенный и отграниченный коллектив [9]. Коллектив, по Мизесу, есть некоторая безграничная последовательность экспериментов, в которой каждый ее элемент (эксперимент) либо наделен, либо не наделен каким-то определенным признаком (например, таким признаком может быть выпадение фиксированной грани игрального кубика). Причем, каждый признак должен иметь в коллективе определенную долю, которая и есть его вероятность.

Важнейшими свойствами коллектива объявлялись: существование пределов относительных частот определенных признаков, а также иррегулярность (Regellosigkeit). Первое свойство совпадает с идеей бесконечности как снятием эмпирических отклонений частот от вероятности. Второе вводится для сохранения собственно вероятностного смысла данной концепции.

Мизес руководствовался соображением, что поскольку вероятность все точнее измеряется при увеличении числа испытаний отношением m/ n (что известно было уже в классической теории из теоремы Бернулли), то в пределе она совпадает с этим отношением. В традиционном истолковании это соотношение служило выражением лишь одного из свойств вероятности. Мизес же принимал его за определение вероятности.

Доказательство существования пределов относительных частот дается им в чисто эмпирическом плане. Так, он берет пример с бросанием 2-х костей и указывает, что при достаточно большом числе бросаний можно установить постоянство первого десятичного знака в отношении. При дальнейшем увеличении числа бросаний можно установить постоянство дроби, выражающей относительную частоту, скажем, для трех десятичных знаков. Именно этот факт, по Мизесу, должен привести к мысли о сходимости относительных частот, точнее к тому, что предел относительной частоты возможен [10].

Правило иррегулярности Мизес определял следующим образом: предельное значение относительной частоты, с которым выступает в коллективе какой-либо признак, должно оставаться неизменным, если из всей последовательности произвольно выбрать любую часть и рассматривать в дальнейшем только эту часть. При этом, выбранная частичная последовательность должна быть безграничной, как и сама основная последовательность. То есть, любой признак в любой части коллектива должен иметь ту же самую долю, что и во всем коллективе [11].

В последующем было показано, что требование предела относительных частот находится в противоречии с требованием правила иррегулярности. Аргументы в этом случае таковы: Понятие предела связано с бесконечной последовательностью, которая не может быть задана актуально вследствие того, что такое задание должно производиться через общий закон образования ее членов по нумерическому признаку. Но это-то и запрещается правилом иррегулярности. В то же время из математики хорошо известно, что только в таком случае можно вести речь о строгом математическом пределе [12]. В другом месте читаем: «...самое понятие предела в его обычном понимании применимо лишь к индивидуальной, закономерно определенной последовательности. Там, где закономерностей, определяющих данную последовательность, нет и принципиально быть не может, нельзя даже ставить вопроса о существовании или несуществовании предела» [13].

Позже Мизес предлагал раскрыть коллектив не как актуальную, а становящуюся последовательность. Но, с математической точки зрения, у такой последовательности также не может быть предела.

Р. Мизес пытался уточнить определение иррегулярности, объявляя ее уже нечувствительностью не к любому закону выбора, а по отношению к счетному множеству законов, сформулированных в рамках определенной формализованной логики. Ибо, в реальной ситуации речь всегда идет о некотором конечном числе операций выбора. За пределами этой формализованной системы оказывается возможным задать явно случайную последовательность обладающую свойством коллектива, по крайней мере, в принципе [14].