Неоконченный поиск

Мои идеализированные случайные последовательности не являются «коллективами» в смысле фон Мизеса: хотя они прошли все статистические тесты на случайность, они определенно являются математической конструкцией — их продолжение может быть математически предсказано любым, кто знает метод их конструирования. Однако фон Мизес требовал, чтобы «коллектив» был непредсказуем («метод исключенной игровой системы»). Это радикальное требование имело неприятным следствием то, что нельзя было построить ни одного примера коллектива, поэтому конструктивное доказательство непротиворечивости этого требования оказалось невозможным. Единственным средством выхода из этого затруднения было, конечно же, ослабление этого требования. Так возникла интересная проблема: каким может быть минимальное ослабление, которое позволило бы осуществить доказательство непротиворечивости (или существования)?

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

В начале 1935 года я прочитал лекцию по этому вопросу в одном из эпициклов Венского кружка, после которой был приглашен Карлом Менгером прочитать лекцию на его знаменитом «mathematisches Colloqium». Я обнаружил весьма избранное общество из примерно тридцати человек, среди которых были Курт Гедель, Альфред Тарский и Авраам Вальд; и, по словам Менгера, я стал невольным инструментом пробуждения интереса Вальда к теории вероятности и статистике, где он получил известность. В своем некрологе Вальду Менгер описывает этот случай так[167]:

«В это время произошло второе событие, оказавшееся важнейшим для всей дальнейшей жизни и работы Вальда. Венский философ Карл Поппер… попытался уточнить идею случайной последовательности и тем самым исправить очевидные недостатки определения коллективов фон Мизеса. После того, как я услышал (на собрании философского кружка Шлика) полутех-ническое изложение идей Поппера, я попросил его представить этот важный предмет во всех деталях Математическому Коллоквиуму. Вальд глубоко заинтересовался этим, и в результате появилась его превосходная статья о самонепротиворечивости понятия коллективов… Он основал свое доказательство существования коллективов на двусторонней релятивизации этого понятия».

Менгер продолжает характеристику определения коллектива Вальда и заключает[168]: «хотя релятивизация Вальда и ограничивает первоначально неограниченную (и неработающую) идею коллективов, она гораздо слабее требований нерегулярности Копленда, Поппера и Рейхенбаха. Фактически, она включает эти требования в качестве частного случая».

Все это чистая правда, и я сам был весьма впечатлен блестящим решением Вальда проблемы минимального ослабления требований фон Мизеса[169]. Однако, как я по случаю сказал Вальду, это не решало моей проблемы: «коллектив Вальда» с равными вероятностями для 0 и 1 по-прежнему мог начинаться с блока в сотни миллионов 0, поскольку случайность зависела только от того, как он ведет себя в пределе. Следует отметить, что работа Вальда предоставила общий метод деления класса всех бесконечных последовательностей на коллективы и не-кол-лективы, в то время как моя просто позволяла конструировать некоторые случайные последовательности заданной длины — по сути, некоторые весьма специальные модели. Однако любую заданную конечную последовательность, любой длины, всегда можно было продолжить так, чтобы она стала либо коллективом, либо неколлективом в смысле Вальда. (То же самое верно в отношении последовательностей Копленда, Рейхенбаха, Черча и других[170].)

Я долгое время испытывал ощущение, что мое решение моей проблемы, будучи с философской точки зрения вполне удовлетворительным, может быть сделано математически более интересным путем обобщения и что для этой цели может быть использован метод Вальда. Я обсудил эту тему с Вальдом, с которым мы подружились, надеясь, что он сам сможет это сделать. Но настали трудные времена: ни один из нас не смог вернуться к этой теме, пока мы оба не эмигрировали в разные стороны света.

Существует еще одна проблема, тесно связанная с вероятностью: проблема (измерения) содержания утверждения или теории. В Logik der Forschung я показал, что вероятность утверждения обратно пропорциональна его содержанию и что поэтому ее можно использовать для конструирования меры содержания. (Такая мера содержания была бы в лучшем случае сравнительной, если только речь не идет о какой-нибудь азартной игре или, возможно, какой-то статистике.)