FOM: mathematical induction

John Baldwin jbaldwin at
Thu Feb 25 17:13:53 EST 1999

In re the two proofs of the sum of the first n integers.  I was
wondering in another connection what the relative proof strength
of the `inductive' and the `explicit bijection' (proof Steve gives)
proofs are?

More information about the FOM mailing list