CSvax:Pucc-H:aeq@pur-ee.UUCP (11/04/83)
Bertrand Russell came up with this one to demonstrate the law of logic that a
false statement can imply anything (F->T, F->F both work):
>From the false statement "10=7", prove the false statement "Bertrand Russell
is the Pope".
Proof:
10 = 7
6 = 3 (subtracting 4 from both sides)
2 = 1 (dividing by 3)
Consider the set S = { Russell, Pope }. Now the CARDINALity of S, |S| = 2.
But 2 = 1; therefore |S| = 1. Hence the two supposedly distinct members of S
are actually the same, i.e. Russell = Pope.
Q.E.D.
-- Jeff Sargent/...pur-ee!pucc-h:aeq