Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T03:36:52.227Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  13 July 2009

Jens Erik Fenstad
Get access Rights & Permissions [Opens in a new window]

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
Information
European Review , Volume 6 , Issue 4 , October 1998 , pp. 425 - 432
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