В предыдущем эссе я говорил об ошибке проекции разума, приведя в пример инопланетного монстра, который уносит девушку в разорванном платье, намереваясь её обесчестить. Эту ошибку я списал на склонность художника считать сексуальность женщины её собственным внутренним свойством — Женщина.сексуальность — а не чем-то, что существует лишь в уме наблюдателя и вряд ли возникло бы в разуме пришельца.
Термин «ошибка проекции разума» ввёл покойный великий мастер байесианства Э. Т. Джейнс в ходе своей долгой и упорной борьбы против проклятых частотников. Джейнс полагал, что вероятности существуют в уме, а не во внешней среде, — что они выражают наше неведение, состояние неполноты информации. И если я чего-то не знаю о каком-то явлении, то это факт, описывающий состояние моего ума, а не само явление.
Описать эту древнюю войну в двух словах невозможно, но классический пример этой дискуссии выглядит следующим образом:
У вас есть монета.
Монета несимметрична.
Вы не знаете, в какую сторону смещён её баланс и насколько сильно. Кто-то просто сказал вам: «Монета несимметрична», и это всё.
Это вся информация, которой вы располагаете — и единственная.
Вы достаёте монету, подбрасываете её и прижимаете ладонью к столу.
Теперь — до того как вы уберёте руку и посмотрите на результат — готовы ли вы утверждать, что оцениваете вероятность выпадения орла в 0,5?
Частотник скажет: «Нет. Сказать „вероятность 0,5“ — значит заявить, что монета обладает внутренней склонностью падать орлом так же часто, как и решкой, так что, если бы мы подбросили её бесконечно много раз, соотношение орлов и решек стремилось бы к 1:1. Но мы знаем, что монета несимметрична, поэтому вероятность выпадения орла может быть какой угодно, кроме 0,5».
Байесовец скажет: «Неопределённость существует на карте, а не на территории. В реальном мире монета легла либо орлом, либо решкой. Любые разговоры о „вероятности“ должны относиться к информации, которой я располагаю о монете — моему состоянию частичного неведения и частичного знания, — а не к самой монете. Более того, у меня есть масса теорем, показывающих, что если я не буду обращаться со своим неполным знанием определённым образом, то буду делать глупые ставки. Если мне нужно строить планы, я буду исходить из неопределённости 50/50, при которой я не придаю исходам при условии выпадения орла в своём уме большего веса, чем исходам при условии выпадения решки. Называйте это число как хотите, но оно должно подчиняться законам вероятности под страхом прослыть глупцом. Так что я ни секунды не сомневаюсь, называя вероятностью свою оценку весов исходов».
Я на стороне байесовцев. Возможно, вы это уже заметили.
Даже до того, как брошена симметричная монета, представление о том, что она обладает внутренней 50%-ной вероятностью выпасть орлом, может оказаться совершенно неверным. Возможно, вы держите монету так, что её выпадение орлом или решкой практически гарантировано — учитывая силу вашего броска и потоки воздуха вокруг вас. Но если вы не знаете, в какую именно сторону смещён баланс в этот конкретный раз, то что с того?
Кажется, был судебный процесс, в котором кто-то утверждал, что призывная лотерея несправедлива, поскольку записки с именами перемешивались недостаточно тщательно. На это судья ответил: «Для кого она несправедлива?»
Чтобы сделать эксперимент с подбрасыванием монеты воспроизводимым, как любят требовать частотники, мы могли бы построить автоматический подбрасыватель и убедиться, что результаты дают 50% орлов и 50% решек. Но что, если робот со сверхчувствительным зрением и хорошим знанием физики, наблюдая за тем, как автоподбрасыватель готовится к броску, сможет предсказать падение монеты заранее — пусть и не со стопроцентной уверенностью, а с точностью в 90%? Какова тогда будет реальная вероятность?
Никакой «реальной вероятности» не существует. У робота одно состояние частичной информации. У вас — другое состояние частичной информации. У самой монеты ума нет, и она ничему не присваивает вероятностей; она просто взлетает в воздух, делает несколько оборотов, сталкивается с молекулами воздуха и падает либо орлом, либо решкой.
Таков байесовский взгляд на вещи, и теперь я хотел бы указать на пару классических головоломок, чья головоломность проистекает из склонности считать вероятность внутренним свойством объектов.
Давайте возьмём старую классическую задачу. Вы встречаете на улице женщину-математика, и она случайно упоминает, что родила двоих детей в разное время. Вы спрашиваете: «Хотя бы один из ваших детей — мальчик?» Математик отвечает: «Да, мальчик».
Какова вероятность того, что у неё два мальчика? Если предположить, что априорная вероятность рождения мальчика равна 1/2, то вероятность того, что у неё два мальчика, исходя из имеющейся информации, составляет 1/3. Априорные вероятности были следующими: 1/4 — два мальчика, 1/2 — один мальчик и одна девочка, 1/4 — две девочки. Ответ «да» от математика имеет вероятность ~1 в первых двух случаях и вероятность ~0 в третьем. Перенормировка оставляет нам вероятность 1/3 для двух мальчиков и 2/3 для одного мальчика и одной девочки.
Но предположим, что вместо этого вы спросили: «Ваш старший ребёнок — мальчик?» — и математик ответила: «Да». Тогда вероятность того, что у неё два мальчика, была бы равна 1/2. Поскольку старший ребёнок — мальчик, а младший может быть кем угодно.
Точно так же, если бы вы спросили: «Ваш младший ребёнок — мальчик?» Вероятность того, что оба ребёнка — мальчики, снова составила бы 1/2.
Но ведь если хотя бы один ребёнок — мальчик, то мальчиком должен быть либо старший, либо младший ребёнок. Как же тогда ответ в первом случае может отличаться от ответов в двух других?
Или вот очень похожая задача: допустим, у меня есть четыре карты — туз червей, туз пик, двойка червей и двойка пик. Я случайным образом вытягиваю две карты. Вы спрашиваете меня: «У вас на руках есть хотя бы один туз?» — и я отвечаю: «Да». Какова вероятность того, что у меня на руках пара тузов? Она равна 1/5. Существует шесть возможных комбинаций из двух карт с равной априорной вероятностью, и вы только что исключили вероятность того, что у меня пара двоек. Из пяти оставшихся комбинаций только одна представляет собой пару тузов. Итак, 1/5.
Теперь предположим, что вместо этого вы спросили: «У вас на руках есть туз пик?» Если я отвечу «Да», вероятность того, что вторая карта — это туз червей, составит 1/3. (Вы знаете, что у меня на руках туз пик, и для второй карты остаются три возможности, только одна из которых — туз червей.) Точно так же, если вы спросите меня: «У вас на руках есть туз червей?» — и я отвечу «Да», вероятность того, что у меня пара тузов, составит 1/3.
Но как же тогда получается, что если вы спрашиваете: «У вас есть хотя бы один туз?», и я отвечаю «Да», вероятность того, что у меня пара, равна 1/5? Ведь у меня на руках должен быть либо туз пик, либо туз червей, как вы понимаете; и в любом из этих случаев вероятность того, что у меня пара тузов, составляет 1/3.
Как такое может быть? Неужели я ошибся в расчётах одной или нескольких из этих вероятностей?
Если хотите разобраться в этом самостоятельно, сделайте это прямо сейчас, потому что я собираюсь раскрыть...
Что все приведённые вычисления верны.
Что касается парадокса — его нет. Иллюзия парадокса возникает из мысли, будто вероятности должны быть свойствами самих карт. Туз, который я держу, должен быть либо червовым, либо пиковым; но это не означает, что ваше знание о моих картах должно быть таким же, как если бы вы знали, что у меня червовый туз, или знали, что у меня пиковый.
Возможно, здесь поможет теорема Байеса:
Последний член, где вы делите на P(E), — это та часть, в которой вы отбрасываете все исключённые возможности и перенормируете вероятности по тем, что остались.
Теперь допустим, вы спрашиваете меня: «У вас есть хотя бы один туз?» До того как я отвечу, вероятность того, что я скажу «Да», должна быть для вас равна 5/6.
Но если вы спросите меня: «У вас на руках есть туз пик?», ваша априорная вероятность того, что я скажу «Да», составит всего 1/2.
Таким образом, вы сразу видите, что в этих двух случаях вы узнаёте совершенно разные вещи. Вы будете исключать разные возможности и проводить перенормировку с разным P(E). Если вы получаете два разных свидетельства, не стоит удивляться тому, что в итоге вы оказываетесь в двух разных состояниях неполной информации.
Точно так же, если я спрошу математика: «Хотя бы один из двух ваших детей — мальчик?», я ожидаю услышать «Да» с вероятностью 3/4, но если я спрошу: «Ваш старший ребёнок — мальчик?», то ожидаю услышать «Да» с вероятностью 1/2. Так что нет ничего удивительного в том, что я оказываюсь в разном состоянии неполного знания в зависимости от того, какой из двух вопросов я задаю.
Единственная причина видеть здесь «парадокс» — это рассуждать так, будто вероятность иметь на руках пару тузов является свойством наборов карт, среди которых есть хотя бы один туз, или свойством наборов карт, среди которых случайно оказался туз пик. В таком случае действительно было бы парадоксально, если бы наборы карт, содержащие хотя бы одного туза, имели внутреннюю вероятность пары, равную 1/5, тогда как наборы карт с тузом пик имели бы внутреннюю вероятность пары 1/3, а наборы карт с тузом червей — 1/3.
Точно так же, если вы считаете, что вероятность 1/3 того, что оба ребёнка — мальчики, является внутренним свойством наборов детей, включающих хотя бы одного мальчика, то это не согласуется с тем, что наборы детей, в которых старший — мальчик, имеют внутреннюю вероятность 1/2 состоять из двух мальчиков, а наборы детей, в которых младший — мальчик, имеют внутреннюю вероятность 1/2 состоять из двух мальчиков. Это было бы равносильно утверждению: «Все зелёные яблоки весят фунт, все красные яблоки весят фунт, а все яблоки, которые являются зелёными или красными, весят полфунта».
Вот что происходит, когда вы начинаете думать, будто вероятности содержатся в вещах, а не являются состояниями неполной информации о вещах.
Вероятности выражают неопределённость, а испытывать неопределённость могут только агенты. Пустая карта не соответствует пустой территории. Незнание — в уме.
*