Bayes's preliminary results in conditional probability (especially Propositions 3, 4 and 5) imply the truth of the theorem that is named for him. He states:"If there be two subsequent events, the probability of the second b/N and the probability of both together P/N, and it being first discovered that the second event has also happened, from hence I guess that the first event has also happened, the probability I am right is P/b.". Symbolically, this implies (see Stigler 1982):
which leads to Bayes's Theorem for conditional probabilities:
However, it does not appear that Bayes emphasized or focused on this finding. Rather, he focused on the finding the solution to a much broader inferential problem:
The essay includes an example of a man trying to guess the ratio of "blanks" and "prizes" at a lottery. So far the man has watched the lottery draw ten blanks and one prize. Given these data, Bayes showed in detail how to compute the probability that the ratio of blanks to prizes is between 9:1 and 11:1 (the probability is low - about 7.7%). He went on to describe that computation after the man has watched the lottery draw twenty blanks and two prizes, forty blanks and four prizes, and so on. Finally, having drawn 10,000 blanks and 1,000 prizes, the probability reaches about 97%.4
Bayes's main result (Proposition 9) is the following in modern terms:
It is unclear whether Bayes was a "Bayesian" in the modern sense. That is, whether he was interested in Bayesian inference, or merely in probability. Proposition 9 seems "Bayesian" in its presentation as a probability about the parameter p {\displaystyle p} . However, Bayes stated his question in a manner that suggests a frequentist viewpoint: he supposed that a ball is thrown at random onto a square table (this table is often misrepresented as a billiard table, and the ball as a billiard ball, but Bayes never describes them as such), and considered further balls that fall to the left or right of the first ball with probabilities p {\displaystyle p} and 1 − p {\displaystyle 1-p} . The algebra is of course identical no matter which view is taken.
Richard Price discovered Bayes's essay and its now-famous theorem in Bayes's papers after Bayes's death. He believed that Bayes's Theorem helped prove the existence of God ("the Deity") and wrote the following in his introduction to the essay:
In modern terms this is an instance of the teleological argument.
Bayes, Mr; Price, Mr (1763). "An Essay towards Solving a Problem in the Doctrine of Chances. By the Late Rev. Mr. Bayes, F. R. S. Communicated by Mr. Price, in a Letter to John Canton, A. M. F. R. S". Philosophical Transactions of the Royal Society of London. 53: 370–418. doi:10.1098/rstl.1763.0053. https://doi.org/10.1098%2Frstl.1763.0053 ↩
Stigler, Stephen M (2013). "The True Title of Bayes's Essay". Statistical Science. 28 (3): 283–288. arXiv:1310.0173. doi:10.1214/13-STS438. /wiki/ArXiv_(identifier) ↩