Hostname: page-component-8448b6f56d-jr42d Total loading time: 0 Render date: 2024-04-25T01:31:18.242Z Has data issue: false hasContentIssue false
  • English
  • Français

From Pappus to today: The history of a proof

Published online by Cambridge University Press:  01 August 2016

Michael A. B. Deakin
Michael A. B. Deakin*
Affiliation:
Department of Mathematics, Monash University, Clayton, Vic. 3168, Australia
Get access Rights & Permissions [Opens in a new window]

Extract

“Perhaps we do even worse, suppressing the creative instincts of our children at the same time as researchers try to imitate them with machines. A computer is said to have applied a problem solving programme to the proposition that the base angles of an isosceles triangle are equal. Instead of the Euclidean proof which proves two right-angled-triangles [on the left below] to be congruent, the computer produced a more elegant proof from the simpler construction (sic) [on the right below]. The conventional working must have been taught to millions of children: we may reasonably ask why none of them, apparently, have discovered this simple, new proof for themselves.”

Type
Research Article
Information
The Mathematical Gazette , Volume 74 , Issue 467 , March 1990 , pp. 6 - 11
Copyright
Copyright © The Mathematical Association 1990

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. Anon., , Gleaning No. 1153. Math. Gaz. 21, 278 (1937).Google Scholar
2. Baker, W.M. and Bourne, A.A., Elementary Geometry. London: Bell (1902).Google Scholar
3. Battersby, A., Mathematics in management. Harmondsworth: Penguin (1966).Google Scholar
4. Bernstein, J., “Profiles: A.I.” (Record of interview with Marvin Minsky). New Yorker 14/12/1981, pp 50–126.Google Scholar
5. Coxeter, H.S.M., Introduction to geometry. New York: Wiley (1961).Google Scholar
6. Dodgson, C.L., Euclid and his modern rivals. London: Macmillan (1879).Google Scholar
7. Durell, C., Elements of geometry, Part 1. London: Bell (1929).Google Scholar
8. Gelernter, H., “Realization of a geometry theorem proving machine.” In Information Processing (Proceedings of the International Conference on Information, Paris 1959). Paris: UNESCO.Google Scholar
9. Gelernter, H.L. and Rochester, N., “Intelligent behavior in problem-solving machines.” IBM J. Res. Dev. 2, 336–345 (1958).Google Scholar
10. Good, I.J., “The social implications of artificial intelligence.” In Good, I.J. (ed) The Scientist Speculates. London: Heinemann, 192–198 (1962).Google Scholar
11. Hall, H.S. and Stevens, F.H., A school geometry. London: Macmillan (1903).Google Scholar
12. Hamming, R.W., “Intellectual implications of the computer revolution.” Am. Math. Monthly, 70, 4–11 (1963).Google Scholar
13. Heath, T.L., The thirteen books of Euclid’s Elements. New York: Dover (1956).Google Scholar
14. Jacobs, H.R., Geometry. New York: Freeman (1974).Google Scholar
15. Lacroix, S.F., Élémens de géométrie. Paris: Bachelier (1799).Google Scholar
16. Langford, C.D., “Note on gleaning 1153.” Math. Gaz. 22, 299 (1938).CrossRefGoogle Scholar
17. Legendre, A.M., Éléments de géométrie. Paris (1794).Google Scholar
18. Minsky, M., “Steps toward artificial intelligence.” Proc. I.R.E. 49(1), 38–30 (1961).Google Scholar
19. Morrow, G.R. (Trans, and ed.), Proclus: A commentary on the first book of Euclid’s Elements. Princeton University Press (1970).Google Scholar
20. Nixon, R.C.J., Euclid revised (3rd Edn.). Oxford: Clarendon (1899).Google Scholar
21. Peirce, B., An elementary treatise on plane and solid geometry (cited by Dodgson [6]) (1872).Google Scholar
22. Smollett, T., The adventures of Peregrine Pickle (1751).Google Scholar
23. Stewart, I., Concepts of modern mathematics. Harmondsworth : Penguin (1975).Google Scholar
24. Wilson, J.M., Elementary geometry. London: Macmillan (1869).Google Scholar
25. Wright, R.P., The elements of plane geometry. London: Longman (1868).Google Scholar