Abstract
In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.
| Original language | English |
|---|---|
| Pages (from-to) | 79-91 |
| Number of pages | 13 |
| Journal | Axiomathes |
| Volume | 25 |
| Issue number | 1(SI) |
| DOIs | |
| Publication status | Published - Mar 2015 |
Keywords
- Big proofs
- Computer-assisted proof
- Mathematical proof
- Proof