I read Mathematics for the Million at age 6 (or maybe 7). But I don't think that's the target audience they had in mind 😄 Victor Sent from my iPhone On Mar 23, 2015, at 12:49, Whitfield Diffie <whitfield.diffie@gmail.com> wrote:
Let us say that, if Theorem 1 (T1) can be used to prove Theorem 2 (T2), then T1 --> T2. Are there simple examples of 'equivalence', T1 --> T2 and T2 --> T1 (setting up loop T1 --> T2 --> T1) that could be explained to school children? Are there cases of longer loops T1 --> ... --> Tn --> T1 which cannot, or cannot naturally, be shortened ? Schoolchildren-compatable preferred again !
What is a school child? Victor miller told me he read Hogben's Mathematics for the Million at an age that put me to shame, five or eight or eleven or something like that. (Perhaps he will chime in and correct.)
Ignoring the school child requirement, I think you find constructions of that sort in Halmos Naive Set Theory in regard to a variety of things equivalent to the axiom of choice. It also seems familiar from algebra --- ``the following definitions of a group are all equivalent'' ---- and perhaps topology.
I doubt the shortest-chain requirement can be formalized. If T1 --> T2 --> T3, you can usually rewrite the proof to avoid explicit statement of T2. This comes up at ``problem-set level.'' I recall being asked to proved something without the mean-value theorem: no one in class could do it but we sure found some ways of disguising it. I suspect it also occurs at ``Fields-Medal level.'' There is a paper by someone Reed in the '50 proving (if I recall it right) that differentiable equals analytic without the Cauchy integral theorem. This may be a case where it took a century to squeeze out T2.
There is another Minsky thing that works like this. Minsky said that the way to handle trigonometric-identities problems on exams is to write the left hand side at the top and the right hand side at the bottom. You then work forward from the top and backward from the bottom and put an equal sign in the middle. Since it is not clear what the rules of inference are in trigonometric identities, you are most likely to be graded correct. (And you get untll the exam is returned to figure out an explanation of why the middle equal is obvious.) The point is that if you put a trigonometric identities proof in your form, who can say how many intermediate Ts there are.
Whit
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun