Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-10-31T22:58:43.963Z Has data issue: false hasContentIssue false

Is mathematics still the science of paper, pencils and proofs?

Published online by Cambridge University Press:  13 July 2009

Abstract

Mathematics, while a necessary part of information technology is remarkably conservative in its working habits. Much of the mathematics needed for the computer age is still produced by paper and pencil. There are some signs of change and this paper looks more closely at what is happening. The impact of the electronic age and computers on the science of mathematics and on the style and organization of mathematical research and publication is examined.

Type
Research Article
Copyright
Copyright © Academia Europaea 1998

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.Bledsoe, W. W. and Loveland, D. W., (1989) Automated Theorem Proving After 25 Years (Providence, Rhode Island, US: American Mathematics Society).Google Scholar
2.Beeson, M. J. (1985) Foundation of Constructive Mathematics (Springer Verlag).CrossRefGoogle Scholar
3.Appel, K. and Haken, W. (1986) Mathematical Intelligencer, 8.Google Scholar
4.Barwise, J. and Etchemendy, J. (1993) CSLI Lecture Notes (Stanford University).Google Scholar
5.Kapur, D. and Mundy, J. L. (Eds) (1989) Geometric Reasoning (MIT Press).Google Scholar