Турчин Фёдорович - Феномен науки. Кибернетический подход к эволюции
Второй ответ на вопрос о причинах нашей уверенности в существовании непредсказуемых явлений состоит в том, что с помощью соотношения неопределенностей мы уясняем себе не только массу новых фактов, но и природу того перелома в отношении причинности и предсказуемости, который происходит при вторжении в микромир. Мы видим, что вера в абсолютную причинность проистекала из молчаливого предположения о наличии бесконечно тонких средств исследования, «подсматривания» за объектом. Но, дойдя до элементарных частиц, физики обнаружили, что существует минимальный квант действия, измеряемый постоянной Планка, и это создает порочный круг при попытках детализировать сверх меры описание одной частицы с помощью другой. И абсолютная причинность рухнула, а вместе с ней и детерминизм. С общефилософской точки зрения представляется вполне естественным, что если не существует бесконечной делимости материи, то не существует и бесконечной детальности описания, так что крушение детерминизма представляется более естественным, чем если бы он сохранился.
13.9. «Сумасшедшие» теории и метанаука6
Успехи квантовой механики, о которых мы говорили выше, относятся главным образом к описанию нерелятивистских частиц, т. е. частиц, движущихся со скоростями, много меньшими, чем скорость света, так что эффектами, связанными с теорией относительности (релятивистскими эффектами), можно пренебречь. Именно нерелятивистскую квантовую механику мы имели в виду, когда говорили о ее полноте и логической стройности. Нерелятивистская квантовая механика достаточна для описания явлений атомного уровня, но физика элементарных частиц высоких энергий требует создания теории, совмещающей идеи квантовой механики и теории относительности. До сих пор на этом пути достигнуты лишь частичные успехи; единой и последовательной теории элементарных частиц, объясняющей огромный материал, накопленный экспериментаторами, не существует. Попытки построить новую теорию путем непринципиальных исправлений старой теории не приводят к значительным результатам. Создание удовлетворительной теории элементарных частиц упирается в чрезвычайную своеобразность этой области явлений, происходящих как бы в совсем ином мире и требующих для своего описания совершенно необычных понятий, в самой основе расходящихся с привычной нам понятной схемой.
В конце 50-х годов Гейзенберг предложил новую теорию элементарных частиц, ознакомившись с которой Бор сказал, что она вряд ли окажется верной, потому что она «недостаточно сумасшедшая». Теория действительно не получила признания, а меткое замечание Бора стало известно всем физикам и даже попало в популярную литературу. Словечко «сумасшедшая» естественным образом ассоциировалось с эпитетом «странный», применяемым к миру элементарных частиц. Но означает ли «сумасшедшая» только «странная», «необычная»? Пожалуй, если бы Бор сказал «недостаточно необычная», афоризма не получилось бы. Слово «сумасшедшая» вносит оттенок «шальная», «взявшаяся неизвестно откуда» и блестяще характеризует нынешнюю ситуацию в теории элементарных частиц, когда всеми признается необходимость глубокой перестройки теории, но, как к ней приступить, неизвестно.
Возникает вопрос: неужели «странность» мира элементарных частиц, неприменимость к нему нашей интуиции, выработанной в макромире, обрекает нас отныне и навечно на блуждание в темноте?
Вдумаемся в природу возникших трудностей. Принцип создания формализованных языковых моделей действительности не пострадал при переходе к изучению микромира. Но если колесики этих моделей — физические понятия — брались в своей основе из нашего повседневного макроскопического опыта и лишь уточнялись путем формализации, то для нового «странного» мира нужны новые «странные» понятия, которые взять неоткуда и которые придется, следовательно, изготовлять заново, да еще и соединить их должным образом в целостную схему. На первом этапе исследования микромира одно из таких колесиков — волновая функция нерелятивистской квантовой механики — было изготовлено сравнительно легко, опираясь на уже существовавший математический аппарат, служивший для описания макроскопических явлений (механика материальной точки, механика сплошных сред, теория матриц). Физикам просто повезло: они нашли прообразы необходимого им колесика в двух (совершенно различных) колесиках макроскопической физики и составили из них «кентавра» — квантовое понятие волны-частицы.
Однако нельзя все время рассчитывать на везение. Чем глубже мы проникаем в микромир, тем сильнее отличаются необходимые понятия-конструкты от привычных понятий макроскопического опыта и тем меньше вероятность соорудить их с ходу, без всяких инструментов, без всякой теории. Следовательно, мы должны подвергнуть научному анализу саму задачу построения научных понятий и теорий, т. е. совершить очередной метасистемный переход. Чтобы квалифицированно построить определенную физическую теорию, нам нужна общая теория построения физических теорий (метатеория), в свете которой прояснится путь решения нашей конкретной задачи. Сравнение наглядных моделей старой физики с лошадью, а абстрактных знаковых моделей с паровозом, можно развить следующим образом. Лошади предоставлены в наше распоряжение природой. Они растут и размножаются сами по себе, и чтобы использовать их, не нужно знать их внутреннее устройство. Но паровоз мы должны построить сами. Для этого мы должны понять принципы его устройства и физические законы, лежащие в их основе, а также иметь какие-то инструменты для работы. Пытаясь построить теорию «странного» мира, не имея метатеории физических теорий, мы уподобляемся человеку, который задумал построить паровоз голыми руками или построить самолет, не имея представления о законах аэродинамики.
Итак, созрел очередной метасистемный переход. Физика требует... хочется сказать «метафизики», но, к счастью для нашей терминологии, нужная нам метатеория является таковой по отношению к любой естественнонаучной теории, имеющей высокую степень формализации, поэтому ее правильнее назвать метанаукой. Этот термин обладает тем недостатком, что создает впечатление, будто метанаука есть нечто, принципиально лежащее вне науки, в то время как в действительности новый уровень иерархии, создаваемый этим метасистемным переходом, надо, конечно, включить и в общее тело науки, расширяя тем самым это тело. Ситуация здесь такая же, как с термином метаматематика; ведь метаматематика — это тоже часть математики. Но поскольку термин «метаматематика» был все-таки принят, можно считать приемлемым и термин «метанаука». Впрочем, поскольку важнейшая часть метанаучного исследования — исследование понятий теории, можно предложить также термин концептология.
Основную задачу метанауки можно сформулировать так. Дана некая совокупность или некий генератор фактов. Каким образом построить теорию, эффективно описывающую эти факты и делающую правильные предсказания?
Если мы хотим, чтобы метанаука вышла за рамки общих рассуждений, то надо строить ее как полноценную математическую теорию, а для этого ее объект — естественнонаучная теория — должен предстать в формализованном (пускай упрощенном — такова цена формализации) виде, подвластном математике. Представленная в таком виде научная теория есть формализованная языковая модель, механизм которой составляет иерархическая система понятий — точка зрения, которую мы приводили на протяжении всей книги. С этой точки зрения создание математической метанауки представляется очередным и естественным метасистемным переходом, совершая который мы делаем предметом изучения формализованные языки в целом, причем не только в отношении их синтаксиса, но также — и главным образом — с точки зрения семантики, с точки зрения их приложения к описанию действительности. К этому шагу нас подводит весь путь развития физико-математической науки.
Впрочем, до сих пор мы в своих рассуждениях исходили из потребностей физики. А как обстоит дело с точки зрения чистой математики?
Если физики-теоретики знают, что им нужно, но сделать могут немного, то «чистых» математиков можно, скорее, упрекнуть в том, что они сделать могут много, но не знают, что им нужно. Нет спору, многие чисто математические работы нужны для придания связности и стройности всему зданию математики, и смешно было бы требовать от каждой работы немедленных «практических» приложений. Но все-таки математика создается для познания действительности, а не с эстетическими или спортивными целями, подобно шахматам, и даже самые высокие ее этажи нужны, в конечном счете, лишь постольку, поскольку они способствуют достижению этой цели.
Вероятно, рост здания математики ввысь нужен всегда и представляет собой безусловную ценность. Но математика разрастается также и вширь, и все труднее становится определить, что не нужно, а что нужно, и если нужно, то в какой степени. Математическая техника развита сейчас настолько, что сконструировать в рамках аксиоматического метода несколько новых математических объектов и исследовать их свойства стало чуть ли не таким же обыкновенным, хотя и не всегда легким делом, как для древнеегипетских писцов произвести вычисления над дробями. Но, кто знает, понадобятся ли эти объекты? Возникает потребность в теории приложения математики, а это по существу и есть метанаука. Следовательно, развитие метанауки — это направляющая и организующая задача по отношению к более конкретным математическим задачам.
