If we assume that a false proposition is true, we can prove anything (ex falso quodlibet). Bertrand Russell, so the story goes, once mentioned this in class. A student raised his hand and challenged: in that case prove that 1=0 implies that you’re the Pope. Russell promptly obliged, see below. Bernoulli 1738, as discussed in an earlier post, contains two contradictory definitions of expected utility theory. This contradiction amounts to a false proposition, and that means any statement can be proved using expected utility theory. As an illustration, let’s prove that Bertrand Russell is the Pope.
Let’s start with Russell’s proof that 1=0 implies he’s the Pope. Russell said the following.
Theorem 1: I am the Pope.
Proof: Add 1 to both sides of (Eq.1): then we have 2 = 1. The set containing just me and the Pope has 2 members. But 2 = 1, so it has only 1 member; therefore, I am the Pope.
This makes our work a lot easier. We only have to prove that 1=0, using expected utility theory, and then, by Theorem 1, we know that Bertrand Russell is the Pope.
Here’s the strategy. We identify the contradiction in Bernoulli 1738 and show that it implies 1=0. The contradiction will be of the following form: “ and .” Since , this implies that latex 1=0. So we’ll go for that. We find a place where Bernoulli says , and then we’ll find another place where he says . That’s all we need to do, the rest was done by Russell.
On p. 24 Bernoulli writes the following:
At least since Laplace 1814, this has been interpreted as follows: the value of an uncertain prospect is the expected change in utility induced by it (Bernoulli converts this utility change into an equivalent certain monetary change, but we won’t do that, to keep things simple). In symbols, if is the utility function, is the value of the proposition, and the expectation operator, we have
To really keep things simple, let’s work with a trivial gamble: our initial wealth is , we have to pay a fee , and we are guaranteed (probability 1) to receive a payout . According to (Eq.2) the value of this trivial gamble is then simply
If this number is positive we should take the gamble, if it’s negative we should stay away from it. To be specific, let’s use the logarithmic utility function proposed by Bernoulli, , and the following parameters:
Evaluate (Eq.3) with these parameters, and you’ll find that .
Later in the paper, on p.27, Bernoulli contradicts himself (referring to an equation on p.26, see this longer blog post for details).
Translators of Bernoulli unpuzzled this statement and put it in a figure (original Latin version (1738) (no figure), German version (1896) (with figure), English version (1954) (with figure)). Written as an equation this gives us a different expression for the value , namely
Evaluating this expression with our chosen parameters yields . Since in both cases we have evaluated the same quantity — the value of the same prospect to the same person of the same wealth , according to Bernoulli’s expected utility theory — we have shown that according to expected utility theory and . Since that implies 1=0, using Russell’s Theorem 1, we have also shown the following:
Expected utility theory proves that Bertrand Russell is the Pope.