Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-25T12:08:48.456Z Has data issue: false hasContentIssue false

A plea for simpler theorems

NOT the 1984 Presidential address

Published online by Cambridge University Press:  22 September 2016

Colin R. Fletcher*
Affiliation:
Dept. of Pure Mathematics, The University College of Wales, Penglais, Aberystwyth SY23 3BZ

Extract

The best mathematicians, from the days of Euclid and before, have defined the terms they use. Now a definition may be a complete fraud, and Euclid was a case in that which hath no part; although to be fair to our greatest text book writer, I am sure he knew a fraud when he perpetrated one. On the other hand, a definition may be a perfect hidden gem. That mighty man Eudoxus was able to define what was meant by the equality of r1 and r2, without knowing what r1 and r2 were. A lesser man would have thought that impossible, but Eudoxus was not a lesser man, by definition. Euclid and Eudoxus, those great definers, would be proud of much of what we now do in the way of definition. There are still frauds, such as definition by example, so beloved of biologists and new mathematicians. (By the latter we mean those persons who consider their business to be new maths.) And there is that modern phenomenon, the railway definition, where properties are hitched together in series just like the carriages of a train, to create one monster definition, which, on the face of it, and sometimes not only superficially, has no justification and no relevance.

Type
Research Article
Copyright
Copyright © Mathematical Association 1984

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Euclid, , The elements I. Definition 1 (c 300 B.C.).Google Scholar
2. Euclid, , The elements V. Definition 5.Google Scholar
3. Russell, Bertrand, The principles of mathematics. George Allen & Unwin Ltd (1942)Google Scholar
4. Euclid, , The elements VII. A consequence of Propositions 1 and 2.Google Scholar
5. Euclid, , The elements IX. Proposition 36.Google Scholar
6. Appel, Kenneth & Haken, Wolfgang, Every planar map is four colourable, Illinois J. Math. 21, 429567 (1977).Google Scholar
7. No names no pack-drill.Google Scholar
9. Hardy, G. H., A mathematician’s apology. Cambridge (1967).Google Scholar