Что до "механизма". То я бы рекомендовал перечитать её доказательство. Оно простое.
У нас есть информация о том, что некое событие может быть порождено разными ситуациями. У нас есть также информация о том, как часто встречаются эти ситуации
и о том, как часто i-тая ситуация приводит к событию B -
. Один из способов использовать данную информацию - узнать вероятность события B. Вероятность того, что случится i-тая ситуация и в результате произойдёт интересующее нас событие, равна
. Поскольку ситуации непересекающиеся, и список ситуаций полный и исчерпывающий, мы полученные вероятности суммируем
(полная вероятность B).
Но у нас есть дополнительная информация: событие B уже произошло, его вероятность единица. А нужно нам получить информацию о ситуациях
(обратная задача). Причём речь не о том, каковы вероятности ситуаций, а о том, какая из ситуаций осуществилась. Поскольку данных у нас недостаточно для однозначного вывода, он также будет носить вероятностный характер. Но это вероятности будут, вообще говоря, отличны от априорных, поскольку мы знаем, что событие B произошло, это аргумент в пользу тех ситуаций, при которых данное событие высоковероятно, и против тех, при которых оно маловероятно. И мы получаем набор новых оценок вероятностей, кратко именуемый "апостериорные вероятности гипотез". Понятно, что новые оценки будут пропорциональны
, отражая как наше знание априорных вероятностей, так и знание факта, что событие B произошло. А так как сумма вероятностей всех возможных исходов равна единице, мы делим эту величину на полную вероятность B, приводя сумму к единице (вероятность достоверного события равна единице)
Вот на уровне "философской интерпретации вероятностей" пойдут проблемы. То ли мы говорим о "степени субъективной вероятности" (а "субъективная вероятность" вообще может не быть вероятностью в математическом смысле), то ли остаёмся в частотном объяснении, но только вводим "параллельные миры", в каждом из которых проводим такой опыт, отбираем те миры, в которых случилось событие B, и уж по ним считаем статистику по
(хорошая штука математика - мы это "рождение миров" загнали в пару строчек расчётов, "как это мило и без ущерба красоте!", и без расходов на строительство миллиона артполигонов, на каждом стреляем и определяем, попали ли).