Abstract
We will discuss the possibility to 'prove' mathematical theorems with the aid of digital computers and present different methods to approach this goal. Special focus will be on integer and floating point arithmetic, on computer algebra methods as well as on so-called selfvalidating methods. This note can only cover a very small part of the subject and is intended to stimulate discussions, and possibly reconsideration of one or the other point of view.
