![](https://assets.cambridge.org/97805213/24021/cover/9780521324021.jpg)
Book contents
- Frontmatter
- Contents
- Foreword
- Report of the Strasbourg Meeting
- Selected Papers
- Mathematics and the Computer Revolution
- Living with a New Mathematical Species
- Checking Mathematics with the Aid of a Computer
- On the Mathematical Basis of Computer Science
- The Mathematics of Computer Algebra
- Mathematical Education in the Computer Age
- A Fundamental Course in Higher Mathematics Incorporating Discrete and Continuous Themes
- Graphic Insight into Calculus and Differential Equations
- Calculus and the Computer. The Interplay of Discrete Numerical Methods and Calculus in the Education of Users of Mathematics: Considerations and Experiences
- Computer-based Symbolic Mathematics for Discovery
Checking Mathematics with the Aid of a Computer
Published online by Cambridge University Press: 26 April 2011
- Frontmatter
- Contents
- Foreword
- Report of the Strasbourg Meeting
- Selected Papers
- Mathematics and the Computer Revolution
- Living with a New Mathematical Species
- Checking Mathematics with the Aid of a Computer
- On the Mathematical Basis of Computer Science
- The Mathematics of Computer Algebra
- Mathematical Education in the Computer Age
- A Fundamental Course in Higher Mathematics Incorporating Discrete and Continuous Themes
- Graphic Insight into Calculus and Differential Equations
- Calculus and the Computer. The Interplay of Discrete Numerical Methods and Calculus in the Education of Users of Mathematics: Considerations and Experiences
- Computer-based Symbolic Mathematics for Discovery
Summary
0. Computers influence mathematics in many ways. This paper is devoted to one of these influences: the fact that we can explain mathematics to a computer. In this process we may learn about how to organize mathematics and how to teach some of its aspects.
At the Technological University Eindhoven (Eindhoven, the Netherlands) the project Automath was developed from 1967 onwards, with various kinds of activities at the interfaces of logic, mathematics, computer science, language and mathematical education. Right from the start, it was directed towards the presentation of formalized knowledge to a computer, in a very general language, with quite a strong emphasis on doing things the way humans do. One might say that the project is a modern version of “Leibniz's dream” of making a language for all scientific discussion in such a way that all reasoning can be represented by a kind of algebraic manipulation.
The basic idea of Automath is that the human being presents any kind of discourse, however long it may be, to a machine, and that the machine convinces itself that everything is sound. All this is intended to be effectively carried out on a large scale, and not just “in principle”.
This paper does not intend to describe the Automath system in any detail, but rather to explain a number of goals, achievements and characteristics that may have a bearing on the subject of the ICMI discussion on the influence of computers and informatics on mathematics and its teaching.
- Type
- Chapter
- Information
- The Influence of Computers and Informatics on Mathematics and its TeachingProceedings From a Symposium Held in Strasbourg, France in March 1985 and Sponsored by the International Commission on Mathematical Instruction, pp. 61 - 68Publisher: Cambridge University PressPrint publication year: 1986