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 languageEnglish
Pages (from-to)79-91
Number of pages13
JournalAxiomathes
Volume25
Issue number1(SI)
DOIs
Publication statusPublished - Mar 2015

    Fingerprint

Keywords

  • Big proofs
  • Computer-assisted proof
  • Mathematical proof
  • Proof

Cite this