NaClhv

When faced with the argument presented in Bayesian evaluation for the likelihood of Christ's resurrection, a common tactic is to try to push the prior lower. After all, this is one of the very few options available when one has no evidence on their side.

But as I argued in the post itself, this will not work. The constraints of empirical reasoning will simply not allow it. The opponents of the resurrection will want the prior to be 1e-40, or 1e-100 instead of 1e-11. Well, there's simply no empirical basis for choosing such numbers. So they have to be made up, like the evidence they don't have.

Some will argue for some kind of theoretical justification, and push for things like the Beta(0, 0) distribution, which is clearly absurd in our situation, as it's immediately falsified upon any kind of contact with reality. Another will want to impose some kind of hyperprior on the prior, hoping for a different kind of conclusion.

Well, the most common hyperprior on the Beta distribution is the uninformative prior where the pdf is proportional to (a + b) ** -2.5. I thought I'd investigate this hyperprior. What if we draw our Beta distributions from this hyperprior, and then add 1e11 negative samples to it? What kind of distributions would we get?

The following is a histogram of 1e6 Beta distribution samples drawn from the (a + b) ** -2.5 hyperprior, after we added the 1e11 negative samples. The x axis is the mean of each of the Beta distributions (that is, a/(a+b)), on a log scale.

The salient features are fairly obvious: this distribution is centered close to 1e-11, and even at its most extreme (i.e. even at a 1e-6 chance) it never goes beyond 1e-17. If this were the prior distribution we used instead of 1e-11, essentially nothing would change.

Of course, the skeptic can continue to propose alternate hyperpriors or hyper-hyperpriors. But every layer on this theoretical tower represents an exponential decrease in likelihood, so they would be even harder pressed to justify their choice empirically. In the end, the Beta(0.5, 0.5) prior remains the simplest and most correct one to use for our problem: it has all of the desirable characteristics and any attempt to significantly deviate from it results in immediate falsification or a divorce from empiricism.